tesseract: add —HEAD option