Il link di @RGJ rimanda a una recente correzione di bug. La correzione è stata implementata oggi e probabilmente non è ancora stata distribuita.
Anche quando quella correzione sarà attiva, ci sarà comunque una finestra di 10 minuti per le notifiche push, durante la quale le notifiche non verranno inviate se hai visitato il sito negli ultimi dieci minuti; questa è un’impostazione generale del sito.
Ho presentato una richiesta di funzionalità affinché ciò sia configurabile.