Version 0.3.3: Add support for overlooked PuTTY-SCO keys <F1> to <F12>.