I’ve just fixed over 100 usernames on the site where they had an erroneous 1 on the end if they were one or two letters long. This was an oversight when we migrated to the new site. The new site didn’t like short usernames so adding numbers to the end.
That means you can now correctly mention usernames you expect, i.e. @pj