Our "custom" Root Terminal from #12738 is shown as a search result for "GNOME Terminal", leading to it being incorrectly picked some times. [This should not have been reverted in commit 889964b1 so I had to cherry-pick it back from past history.]