🤖 The @ mention menu now shows the names you use for people. If you call
someone "Dermo", typing @der lists them as Dermo — with their chosen name
alongside, since that's what appears in the message for everyone. Renaming
someone also reads more plainly: the button is now "Change the name you see".