Rename to index.html for convenience