gnome-options • man page