How to change username?

Note that changing the username is an action which makes more sense for established accounts, who wish to change the username while retaining their old posts (and credits!). For a newish account it would probably be simpler to create a new account, and consider that the old one doesn't exist any more,