Note that the order in this script is undefined. We started with the terminal emulators we knew about and accepted all PRs which added others. The current order should not be mistaken for fitness or judgement :).