Document main HTML file.