Full threadmjs7231·Cool, but is using your mouse to navigate a menu tree really more efficient than typing "<terminal hotkey>ssh host"?View on HN