Hi!
I've pushed a patch in gnome-terminal adding two new strings:
* GNOME Terminal is a terminal emulator application for accessing a UNIX shell environment which can be used to run programs available on your system.
* It supports several profiles, multiple tabs and implements several keyboard shortcuts.
Both strings are translatable, and belong to the new AppData file.
