Comment 67 for bug 96676

I've never come across any useful documentation from the GNOME project.
Just stuff that is targeted at nontechnical end-users.

However, the simplest fix would be setting gnome-terminal's TERM variable
to "gnome", and handling the inevitable release-to-release nits with fixes
in the terminal database.