Walter Mcginnis Ah. Subscribed to relevant rss feeds for notifications of replies/mentions/likes. Much better.

🦿 Lucian Marin I'm glad you find out how to do it. Even if they aren't push notifications, they are pretty stable.