I suppose I hadn’t discovered that! I set this up back in 2002, well before the iPhone and push notifications.

It’s worked for decades, and I haven’t needed to look for a different solution until now.

Thanks for the tip!