"Keep an eye out for Web Push on iOS and iPadOS in 2023." https://webkit.org/blog/12945/meet-web-push/