Muting works well. If their behavior seems to be offensive to a large crowd you can file a report on them but do not do so if this user just seemed to bug you. The people that go through those reports experience fake ones all the time and surely you would be the kind sir to not add to that burden of it were not needed.

You have a self-banning tool called mute. Try it sometime, the person's voice disappears and you don't have to worry about them anymore. Mute the person, if it's bad enough report them. Have the moderators take care of it and go on with your life. There are better hobbies out there than being a SJW and going after every idiot with a keyboard. That 15 minutes you spent going after that troll and giving that troll attention could have been spent drawing or reading a book or doing something productive because all you did was feed a troll.