I also don't see mentioned option in /account/preferences even though push notifications are enabled in /admin.php?options/groups/alerts/. What could be the problem?
Solution - enable push permission in user group settings as described here.
Is it possible to add "custom" provider? Any tips or guides how to do that?
I do have couple OAuth servers (providers) that I would like to try out with XenForo.