Re: [push-api] userVisible -> userVisibleOnly (#137)

FYI, the corresponding property in the Permissions API is also called userVisible: https://w3c.github.io/permissions/#push

If we change it in the Push API, we should also change it in the Permissions API for consistency.

Independently from the consistency issue, I feel that `userVisibleOnly` is quite verbose and the `Only` part does not add enough value to warrant such verbosity. Just `userVisible` seems equally clear.

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