While I wasn't looking, things developed to the point that audio is handled automagically over HDMI & DisplayPort, and monitors work perfectly and switch between inputs perfectly with it. I'm kind of wondering if/when PC's display chipsets will go beyond just piping the audio to have a low bandwidth USB function, and monitors' USB hubs will work thru their inputs and switch between them.