Disregard #41, apparently when I switched drivers the HDMI output got selected as the output device, I switched it back.
Now, for recording, there doesn't seem to be a manual way to control which mic is used, but automatic detection seems to work. If a mic is plugged in, the Digital Mic slider doesn't do anything, the Mic slider does. With the external mic unplugged, the Digital [mic] slider does something, the Mic slider doesn't. Which makes sense.
Disregard #41, apparently when I switched drivers the HDMI output got selected as the output device, I switched it back.
Now, for recording, there doesn't seem to be a manual way to control which mic is used, but automatic detection seems to work. If a mic is plugged in, the Digital Mic slider doesn't do anything, the Mic slider does. With the external mic unplugged, the Digital [mic] slider does something, the Mic slider doesn't. Which makes sense.