Ability to add nicknames that are identical to profile names

Currently it is impossible to add a server nickname to a user whose profile name is the same as the nickname you want to add. CS has confirmed for me that this is intended behavior, however it is also pointless behavior. This ability would be very useful to servers with members that change their profile names frequently, and need to be able to keep track of who is who.

In my server's case, we ensure that each person's nickname is their IGN in whatever game they came to us from. However, we can't set such a nickname if their profile name is also their IGN. This becomes a problem if they change their profile name in the future.