Man pages matching name hitex in section 1:

hitex.1.en

debian 12 / texlive-binaries