Add missing HTML file.