Man pages matching name xmoptionbuttongadget in section 3:

XmOptionButtonGadget.3.en	debian 10 / libmotif-dev
XmOptionButtonGadget.3.en	debian 11 / libmotif-dev
XmOptionButtonGadget.3.en	debian 12 / libmotif-dev