@murm and sometimes F8
@ketmorco @murm I've not encountered F8 yet (except for boot menu), but F9 and F10 are common.
@jernej__s @murm these days unless I'm told I just start mashing F keys 🤣
@ketmorco @murm Luckily you can access the firmware setup on modern systems with the appropriate reboot command (on Windows it's shutdown -r -fw; if it returns an environment error, just run the command again).