Sort:  

I would say just flag & mute, I find that doing more effort than that is just not worth it.

I did flag and mut someone already
A Trumpfan posted a video how another trumpfan beat up an old man protesting against trump. He called me a nazi after i flagged him, that i tried to mute him and that i am therefore against free speech lol

Well, that knod of thing happens way too often.