LOL, anyone that thinks a paragraph or 2 is "TL;DR" is incapable of learning anything, anyway.
GD isn't going to do anything for you, unless the person is being offensive for an extended period of time, which may or may not be the case as i am not keeping track, lol. Complaining in the questions or comments isn't going to do anything but give the trolls more motivation to fuck with you.
Hit the complain button, send a message to their official GD account... that;s all you can do. Even if the offending account is deleted, they'll just make a new one and start right back up, so it's just useless. In fact, they already have multiple accounts dating back years... the trolls on this site are some kind of fucked-up-weird, bwahah. they are stalker-ish and think they are the gatekeepers for this site. That fan-boy type of behaviour where they think they own something because they are fixated on it. Just some weird obsessed adults still acting like a 12 year old.