Added F12 as an alternative to F1 for help in terminals that already bind to f1.