+ # It looks like the HDMI audio output remains selected even when the output gets unplugged. As a result, the laptop does not play sound any more.
+ You can fix the problem by going to Sound Settings and click once on the internal audio output (which is the only output).
+
+ # oneiric regression: Sometimes when I switch on the HDMI output, the sound also switches to it, but not consistently.