Oh, GhostTTY is a great project. I also agree that some flavor of Gnome is the default out of the box on most distros. I'm bemoaning that fact, not the existence of an excellent terminal library and 3 frontends for it that I will never use.