Man pages matching name botch-remove-virtual-disjunctions in section 1:

botch-remove-virtual-disjunctions.1.en	debian 10 / botch
botch-remove-virtual-disjunctions.1.en	debian 11 / botch
botch-remove-virtual-disjunctions.1.en	debian 12 / botch