Re: [push-api] pushregistrationlost isn't documented (#149)

Let us at least decide whether `pushsubscriptionchange` is sufficient.  `change` is great if you can get a replacement, but it seems deficient when you have an outright error.

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/issues/149#issuecomment-105550821