More organic fix for the html/hocr extension mismatch