I don't think this particular bug issue can get any less trivial, but I want to change my username from rhisiart to Rhisiart. The facility to do this does not seem to be working. I shall keep taking the pills in the meantime.