[dredmorbius]

And, for those interested in this sort of thing, the earliest "we've banned this account" formulation appears nine years ago, on 6 August 2015:

<https://news.ycombinator.com/item?id=10019003>