I changed my openstreetmap username.

• If you came here through a link, you might want to tell the person who published the link that it is broken.
• Feel free to send me a PM if you would like to know my new username (for unlinkability, I try not to make it trivial to find, though I know it’s not very hard either).