Man pages matching name tntnet.properties in section 7:

tntnet.properties.7.en	debian 10 / tntnet
tntnet.properties.7.en	debian 11 / tntnet