Ah, yes – that’s it. Thank you!

I also noticed that in my retroarch.cfg at the very bottom there was the line
input_enable_hotkey = nul

I changed that to tab and now I can do tab+F1 etc. and it works like a charm. Cool!