Man pages matching name tirex-batch in section 1:

tirex-batch.1.en

debian 12 / tirex