Questo è stato ora unito. Se le notifiche push smettono di funzionare dopo un po’ di tempo, segnala un Contribute > Bug.