Não tenho certeza se isso foi intencional, então achei melhor mencionar. Se você marcar (@) um usuário que não existe, o texto continua em negrito, embora não tenha o fundo e não seja clicável. Obviamente, não faz muita diferença, mas
Isso é verdade, mas o melhor exemplo para ensinar como funciona a menção é justamente mencionar essa pessoa, certo? Assim, ela até vê como é notificada.
Eu também costumo usar blocos de código quando preciso “ensinar” um recurso sem ativá-lo de verdade.