alt-number-key.patch
hide-menu.patch
fix_shortcuts.patch
