I will likely never add push notifications to Coracle, because they are a dark pattern based on engagement-oriented legacy social media. Push notifications make sense for DMs or small group chats, urgent work-related things, and special cases like keyword alerts for journalists, not for @-mentions or social media replies.