Rename index.html to venn.html