After the installation of all the available desktop environments, in the default desktop environment (Gnome) there are multiple terminal programs to choose from, not just the Gnome default.