https://mightty.org/ https://mightty.org/changelog/ https://mightty.org/docs/ https://mightty.org/docs/agents/ https://mightty.org/docs/architecture/ https://mightty.org/docs/command-line/ https://mightty.org/docs/getting-started/ https://mightty.org/docs/install/ https://mightty.org/docs/keybindings/ https://mightty.org/docs/performance/ https://mightty.org/docs/protocols/ https://mightty.org/docs/settings/ https://mightty.org/docs/shell-integration/ https://mightty.org/docs/tabs-and-windows/ https://mightty.org/docs/themes-and-fonts/ https://mightty.org/download/