wait lemme elaborate, more like \@wynd, but it doesn’t show the `\` the linking is actually important. ( \@jeffalo does work to not ping though, just the \ looks strange )
oh and other idea: maybe like a discord style ping, where you do <@userid> and it works for people who change their username