Man pages matching name options in section 3tk:

options.3tk.en	debian 10 / tk8.6-doc
options.3tk.en	debian 11 / tk8.6-doc
options.3tk.en	debian 12 / tk8.6-doc