HTML: clean up char checks. Add ptr to HTML parse spec