[sixbrx]

my new Lenovo X1 Extreme has both of those things. I actually didn't notice the F4 microphone toggle before, thanks for the tip!