This is just an HTML file with a weird name.