GTD: won't fix the following bugs:
https://bugs.launchpad.net/leo-editor/+bug/815564 Plugin Menu-Keystroke binding can prevent plugin help display
https://bugs.launchpad.net/leo-editor/+bug/1292207 Disabling Plugins disables menu actions

Leo build: 20141109214857