Man pages matching name tirex in section 3pm:

Tirex.3pm.en

debian 12 / tirex