@knuthollund Yeah, I didn't bother and went to sleep. The shitstorm would just continue during the night anyway, so I figured I'll just let the most annoying users die off and maybe some others can come back after a while.

Spamming with incoherent crap doesn't feel like a very good social venue, so I don't think that should be allowed. Right now I've just started randomly silencing people I intuitively feel are annoying :P