Is there a way to change the display name of a contact? I have some people in a group chat that only have numbers as their display name, which I'd like to change only for myself to be something more useful.
Are these bridge puppet users from 3rd party chat services? If so, I don't know if it would mess anything up, but you might be able to edit those users in Synapse admin (assuming you have that set up). You might even be able to change avatars that way. I'd try it with a contact you don't care about accidentally breaking first.
Yes, they are bridge puppet users. I don't have admin rights on the server, I am using one from the public list.
I was wondering since in Threema or Telegram you can edit the contact. directly in their app. In Signal you can edit the contact on your phone and the changes are detected by Signal.