1. Rename the current index.html to something else.
2. Rename the HTML file created in exercise 1c. to index.html.
3. Wait a few minutes for GitHub Pages to update.