Mute notifications

What would be the best way to deal with queued notifications when the mute period expires? Fire all of them at once? Or show something like “you have 3 new mails”?


(Originally posted by brunofin on GitHub.)