Man pages matching name survexport in section 1:

survexport.1.en	debian 10 / survex-aven
survexport.1.en	debian 11 / survex-aven
survexport.1.en	debian 12 / survex-aven