iOS 16 web push notifications in 2023

@RGJ’s link links to a recent bug fix. The fix just went in today, and probably isn’t deployed yet.

Even when that fix goes live, there’s still a 10-minute push notification window, during which pushes don’t get set if you’ve visited the site in the last ten minutes; that’s a site-wide setting.

I’ve filed a feature request that this should be configurable.