3 ms·

For those who wonder (also mentioned in the article) in gmail there is a feature called "mute" exactly for this.