It would be really useful if admins could enable a modal prompt to let users know about the push notification settings in their preferences. This of course should only show if a device is supported to receive push notifications.
We've implemented this. If you haven't yet enabled push notifications for a specific device then you will likely be seeing a banner fixed to the bottom of the page, with functionality very similar to what @ibnesayeed mentions above.