Man pages matching name icmptx in section 1:

icmptx.1.en	debian 10 / icmptx
icmptx.1.en	debian 11 / icmptx
icmptx.1.en	debian 12 / icmptx