Deprecate old and unused shortcuts #17
Description
- Add setting to re-enable them
- User file extension like shortcut.deprecated (for easier load)
- Maybe all Alt shortcuts (depends on Add alternatives shortcuts without Alt / Option so they will work on terminal #5)