oh and other idea: maybe like a discord style ping, where you do <@userid> and it works for people who change their username