Comment by scraplab

Finally, push notifications in iOS coming in... oh, 2023.

> "look for Web Push for iOS and iPadOS in 2023."