Rename HTML to web.html