Man pages matching name tdx-util in section 8:

tdx-util.8.en	debian 10 / inn2
tdx-util.8.en	debian 11 / inn2
tdx-util.8.en	debian 12 / inn2