Board Thread:General Discussion/@comment-30907571-20171227211549/@comment-24253265-20171228233951

JFTR, there's a Help:Changing your username page, linked on Help:User_account. Just creating a new account (and never again using the old account) can be good enough, maybe note the fact on your user page.