hi, the xfce pulseaudio mixer panel seems to be a bit silly. Notably, all the devices and input/outputs all look like "/d..." or "M..." which means I have no idea what they're controlling. Has anyone seen this? -adrian