Commenting out Ctrl-Alt-F9
Change Ctrl-F9

We removed the other F9/F10 things.
The only two left are:
Ctrl-Alt-F10 for the the copyright thing
Ctrl-F9 for the dialog/console box thing

So making Ctrl-F9 also start with Ctrl-Alt-