That’s very handy, thank you Richard!
Although we’re actually a customer of yours at the moment so I feel a bit guilty about the source of this advice!
I do hope one day that push notifications become available for everyone, without waiting for Apple.