[m_mueller]

I actually just installed that before you mentioned it, and disabled its sound in the volume mixer. Finally something I can live with in terms of terminal.