Version: 1.0.2 (2023-05-16)
- fix bug saving "Hotkeys", "History" and "Saved commands" options
- in "Options", rename the section "Saved commands" to "Various"
- fix bug, now allowing to select mouse hotkeys for commands "Paste from Quick Clipboard Editor" and "Copy text and open Quick Clipboard Editor"