1. Receive a group notification on any platform.
  2. Use the mute button to mute notifications from that group.
  3. Receive a notification from that same group.
  4. Notification still hows up as a push notification, (though it is not visible in the app itself).