@ralph there was an old feature where when you typed in “@“ it would display a menu of users that would change as you typed their username in, making @‘ing people really easy. I don’t know when this disappeared, but ever since, it’s made mentioning people much harder. Please bring it back.