Man pages matching name coq.hb in section 1:

coq.hb.1.en

debian 12 / coq-hierarchy-builder