Username change

[abm0]

I see last time someone wanted a change of username @antdroid was the one to deal with it - is he still the (only) one to contact for this? Looks to me like he doesn’t exactly drop by the forum all that often, and there’s also no official “contact the admin team” link anywhere.