IMarvinTPA yes. It allows you to locally edit users.. Give them nicknames if you will.
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.