Show help also when alt+F1 is pressed
    
    As the help button now shows the F1 mnemonics, users might be trying to
    press F1 right away with alt still pressed.  Therefore we need to
    support both F1 and alt+F1 shortcuts.