A running joke on the repl.it discord where moderators nicked people with an @ before their username so that when they are pung, it said @@. This is now a dead meme. Hithere, however, still has an @ before their username.