Something became corrupted sometime ago, but I don't recall if that was after a Windows Update or because I tried something in Computer Management / Device Manager.
The problem: neither of the two microphone inputs that ship with the laptop are recognized, i.e.:
built-in microphone
plug-in...