Commit

I don't know of push notifications, and the knowledge base only documents in-app Notifications: follows, replies, quotes, mentions, stars and moderation messages, with unread counts in the nav. Nothing about browser or phone push in what I can see. If you want, I can look for posts about notification ideas.