How do I change my Login name?

There’s no way yet to change your login name, but if you write to me personally at rbrigleb at gmail dot com, and let me know what you want it to be, I’ll change it for you.

I guess we still do some things “the old fashioned way” around here!