Update for OCR-based search function: Courtesy of Günter Wagner.