Option space was already in use and the keyboard shortcut for showing mini is not able to be changed in the app like the other keyboard shortcuts.
It would be nice to use a custom keyboard shortcut for showing Mini. Or maybe an option to turn MIni off altogether, thus disabling the pre-defined keyboard shortcut.