Checkpoint - HTML reader.
Checkpoint: Working compile with HTML, LaTeX, markdown readers.

This includes some code cleanup in HTML reader.