Exported old checkHtmlFile() API, in case that's used as part of assignment grading.