Non sono sicuro che sia intenzionale, quindi ho pensato di segnalarlo. Se tagghi un utente inesistente, il testo rimane in grassetto, anche se non ha lo sfondo e non è cliccabile. Ovviamente non cambia molto, ma 
Senza @:
NotARealUser
Con @:
@NotARealUser
Effetto collaterale della recente modifica “non menzionabile” @eviltrout? È vero che l’utente non è menzionabile, ma è perché non esiste…
È in realtà utile come esempio quando si insegna a qualcuno come menzionare gli utenti, senza effettivamente notificare un utente reale. 
Probabilmente userei un blocco di codice per quello @JimPas.
Perché? Il grassetto lo rende visivamente distinto automaticamente, senza bisogno di conoscere o utilizzare markdown aggiuntivo.
È come usare un seghetto per aprire una lattina con anello apribile.
È vero, ma il miglior esempio per insegnare a qualcuno come funziona il menzionare è proprio menzionare la persona stessa, giusto? In questo modo vedono direttamente come vengono notificati.
Anche io spesso uso i blocchi di codice quando devo “insegnare” una funzionalità senza attivarla.
Questo è sicuramente l’approccio raccomandato
Questo è sicuramente l'approccio `raccomandato`