Man pages matching name pgtopo_export in section 1:

pgtopo_export.1.en	debian 12 / postgis
pgtopo_export.1.en	debian 13 / postgis