Ho appena notato che non si ottiene un badge di notifica ad alta priorità se si viene menzionati in un messaggio personale. Si ottiene solo un normale badge di notifica.
Al momento si vede
Penso che sarebbe meglio se la notifica per un messaggio privato in cui si viene menzionati assomigliasse a quella per un messaggio privato. Al momento un messaggio privato senza una menzione è più enfatizzato di un messaggio privato che ti menziona in aggiunta.
Durante la ricerca ho trovato questo post
che dice che dovrebbe essere diverso, ma non sono riuscito a trovare un argomento che spieghi perché è stato cambiato. Funziona ancora in questo modo per le citazioni e le risposte.
Mi fermerei con una PR per le modifiche relative a questo, attualmente abbiamo una riprogettazione e refactoring del menu delle notifiche in lavorazione.