Man pages matching name t3highlight in section 1:

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