Rename index.html to def.html