Banned users and the heavy hand of moderation

[RogerBW]

@whswhs has been banned for repeatedly causing trouble in a variety of ways.

I hope we don’t have to use this thread again.