Better Discord has a plugin that does exactly this. It's been out since March 2021... It's not an official fix from Discord but it does exactly what we're all looking for.
IMarvinTPA yes. It allows you to locally edit users.. Give them nicknames if you will.