trac-hacks/hotkeysplugin archive