Well I’m jiggered, the microphone is working fine this morning, without any further interference from me. Maybe something reset itself when I turned the PC off for the night.
However…I’ve made a note of the suggestions for future reference, in case there’s a problem again. Always good to have a plan!