Ability to receive mobile push notifications for @ mentions whilst still having servers/channels muted

As per title. We may wish to see the grey dot for some channels/servers, but not for others. However, if we want to mute a channel/server (so as to remove the annoying grey dot) and someone directly @ mentions us, we don't see it unless we physically open and view Discord. This is quite frustrating. I muted all my servers and I never got notified because I don't open Discord often. It works for other chat systems like WhatsApp and Facebook Messenger, where you can mute a chat but a direct @ mention will push to your mobile. It would be great if this were also implemented in Discord. Thanks 🙂