Comment by 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.