Correction, as I forgot to mention important details: * After *reboot* and login at 9:20, the sound is now working again. * Initially, after logout, re-login, the sound was still dead and the old pulseaudio was still running. Sorry about the confusion, I completely forgot that I had rebooted before starting to write the report. Anyways, you were right about an undead pulseaudio process.