PulseAudio sound server

Comment 14 for bug 371147

Yup, done already. See my comment before your last one :-)