[w3c/push-api] Update privacy and server choice... (#294)

Fix #293
See also comments on #287
Editorial.

Clarifies that user agents MAY limit the choice of push server, and why they might do so.
Reframes the Privacy Section slightly to identify the concerns that the implementation requirements address.
You can view, comment on, or merge this pull request online at:

  https://github.com/w3c/push-api/pull/294

-- Commit Summary --

  * Update privacy and server choice...

-- File Changes --

    M index.html (47)

-- Patch Links --

https://github.com/w3c/push-api/pull/294.patch
https://github.com/w3c/push-api/pull/294.diff

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/pull/294