Man pages matching name eleredef in section 1:

eleredef.1.en	debian 10 / repeatmasker-recon
eleredef.1.en	debian 11 / repeatmasker-recon
eleredef.1.en	debian 12 / repeatmasker-recon