Hacker News Reader

There's now a mute sound option in gmail, click on the down arrow next to your name above the contacts list

Thanks for pointing that out, last time I checked there was no such thing.