It's a minor thing, but I'm wondering if there's any way to see what previous names a person has used. I know that [this guy][1] previously used what I assume is [his real name][2], and I think that before _that_ he used the short name. I notice and tend to check questions and answers of people near me in reputation, but I get confused when they change their account name. So I was wondering if there's any way to see what other names a person has used. [1]: https://serverfault.com/users/9140/pauska [2]: https://serverfault.com/users/9140/erik-p-skaalerud