Web Push example

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.