Removed or renamed. It is helpful if you can keep the username list to their current names rather than initial names.
Mr. Big, for example, is a current username, not initial one.
But there is at least one problem to consider to not doing this. Sometimes, users ask admins or global moderators to change their usernames for personal issues (privacy, or security, for example). They changed usernames not because of fun. In such cases, in my opinion it is better and a kind of respect if we don't show the relation between initial and current usernames. If they already got accepted to do it (from admins/ global moderators) I think we should respect them (I could be wrong.)