Well my happiness didn’t last long, because a few hours later, the microphone was as it was, which is, not working.
This morning I manage to have it working again by clearing the cache of some app, but it got back to the non-functional state, and I can’t see what is causing the problem. It’s clearly a software problem, but I really don’t know what’s causing the problem.
I thought for a while that it could be the google news & weather app, but apparently it wasn’t.
I’m still looking for a cure.