Python tool for converting hOCR files to geographic file formats