Man pages matching name gtk-options in section 7:

gtk-options.7.en	debian 10 / libgtk2.0-bin
gtk-options.7.en	debian 11 / libgtk2.0-bin
gtk-options.7.en	debian 12 / libgtk2.0-bin