A number of folks have written in on that thread to say that they’re not receiving push notifications. Anecdotally, I’m hearing this on my CDCK-hosted forum, too. It’s not at all clear what to tell these users.
It seems plausible that their notifications are disappearing into the push notification delay window, but I don’t think there’s any way to know that.
In the thread, I wrote:
Even if no new code is written, I think we need some more diagnostic instructions that a forum admin could follow to test/diagnose notifications for a user.