[Bug 31344] F1 opens Gnome Terminal Help which is no always what you want

[Daniel Holbach]

Public bug report changed:
https://launchpad.net/malone/bugs/31344

Comment:
The problem is: "it can be done". Of course we could patch and change
the way it works, but with every patch where we divert from upstream the
worldload for every new release gets higher.

I can see your point, but I think that coherence with the rest of the
desktop is as valid (for new users, who rarely use the terminal).

I suggest to take the decision upstream. Sébastien: what do you think?
Do you think this is important enough to divert?