Man pages matching name overrideshell in section 3:

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