Another information, I have a hdmi computer kvm that can share usb devices (keyboard/mouse) with 2 computers, I noticed that when you change channel and switch back, sometimes hdmi audio becomes crappy but, again, "pactl exit" and often all seem to be ok after, for a while