Board Thread:General Discussion/@comment-45957893-20200906092503/@comment-31267872-20200906164940

That may or may not have happened (I haven't checked), but regardless, the user isn't a major vandalism issue, and any small damage he does can easily be reversed.