I can't find an interface for changing my user name. It's not critical, but I'd prefer something else, and the time to do it would seem to be sooner, before I've established much identity under the old name.