Run ninja to generate config.js, then serve this
directory over HTTPS — localhost counts, a LAN address does
not. On a phone, add the page to your Home Screen and open it from there
before subscribing: iOS will not deliver a push to a browser tab.