A static HTML file.