+ # When I connect a monitor to the DisplayPort output, sometimes the sound output also switches to it (but sometimes it doesn't, I couldn't figure out why). The sound output setting is buried deep into Control Panel / Sound Settings / Hardware / Profile, so it took me a while to figure out what had happened the first time.
+ * oneiric regression
+
+ # HDMI/DisplayPort sound no longer works
+ * Probably this kernel 3.2 regression: https://bugs.launchpad.net/ubuntu/+source/pulseaudio/+bug/973704
+ * Fixed in upstream kernel 3.4
+