Just going to put this here for future reference, if someone is harassing you on discord there is an option to block them. This is dandy because then the only way they can continue to be aggressive towards you is if they contact you in-game.
Tbf Joel, if he was a creep then the discord block wouldn’t stop them. You essentially made my point for me, if they navigate around the discord block then it becomes actual harassment and should be treated very seriously. Otherwise? Just block them lol.