Originally Posted by Arnie
From the site:
"Change config key: F9 = return to the menu"
Does that make sense to you?
No, it does not, as F9 can be used by games, for example F/a-18 Interceptor. (Thrust @ 90%)
Sure, they might have plants to salvage RPi2/3 into an amiga case, but in that case, make additional button to enable emulation GUI key and/or key combination.
Still beats Ctrl used by emulator's default.