Username changes

If you hover over the avatar of a user who changed their username, a little clock-like thing should appear next to it where the previous usernames are listed. Not sure if that's also the case on mobile devices.
This is good!

Is there also a way to find them under their old username if you weren’t aware they’ve changed names?