Right now, if a user gets renamed, their old username will be stored in a separate table and it will be treated as taken. This has already caused a few issues in very niche situations (particularly, https://discord.com/channels/1049223665243389953/1491095747871903776), so instead, a better way to handle this is to still keep a history of a user's previous names, but don't treat them as taken. Instead, allow moderators to automatically make the server disallow the old username when renaming a user, and also allow them to actually see the username histories of users.
Right now, if a user gets renamed, their old username will be stored in a separate table and it will be treated as taken. This has already caused a few issues in very niche situations (particularly, https://discord.com/channels/1049223665243389953/1491095747871903776), so instead, a better way to handle this is to still keep a history of a user's previous names, but don't treat them as taken. Instead, allow moderators to automatically make the server disallow the old username when renaming a user, and also allow them to actually see the username histories of users.