Cleaned up version switching and keyboard-shortcut code.  More of the latter to do.  Added GPL3.