Improve web push
- Documents web push configuration
- Fixes token. It needs
token_id
(not the actual token string) in order to get a right subscription. This is because a user may have multiple subscriptions on different devices/browsers. - Improves notification wording.
Edited by minibikini