Diverse persone hanno scritto in quel thread per dire che non ricevono notifiche push. Aneddoticamente, lo sento anche sul mio forum ospitato da CDCK. Non è affatto chiaro cosa dire a questi utenti.
Sembra plausibile che le loro notifiche stiano scomparendo nella finestra di ritardo delle notifiche push, ma non credo ci sia modo di saperlo.
Nel thread, ho scritto:
Anche se non viene scritto nuovo codice, penso che abbiamo bisogno di alcune istruzioni diagnostiche aggiuntive che un amministratore del forum potrebbe seguire per testare/diagnosticare le notifiche per un utente.