Man pages matching name filext in section 1:

filext.1.en	debian 10 / wcstools
filext.1.en	debian 11 / wcstools
filext.1.en	debian 12 / wcstools