Jon, just sent you an email.
Basically, admins can change usernames. So Core77 HQ, myself, and Will, the technical admin… so basically me
We in general discourage the frequent change of user names for continuity of conversation, but have always made exceptions when someone selected a name they feel is no longer appropriate or they want their user name to be their real name. Both hold in this case.