gnome-terminal-disable-docs.patch 1.14 KB