https://techbii.com/figuring-out-the-best-terminal-emulators/