The actual renamed file index.html