Is F1-F12 available for hotkey profile switcher?

[thayerw]

I've tried numerous combinations, including <Super>F12, <Super>F-12, <Super><F12>, and <Super><F-12>. They all result in <Super>f once I close the application window. Is this is a limitation of GNOME or am I just using an incorrect syntax? I haven't had any luck finding a list of valid key names for modern GTK/Gnome-shell. Any input 😉 would be appreciated and thank you for your work on this extension.

[aleho]

I honestly don't know whether F-keys are supposed to work at all.