Added HTMLEncoding to GetPageOcrText to ensure the correct display of OCR