Man pages matching name gnome-options in section 7: