David Rein comments on Still possible to change username?

[David Rein]

I would have really appreciated documentation on this, fwiw!