&gnome-terminal-intro; &gnome-terminal-inst; &gnome-terminal-exp; &gnome-terminal-desc;