Can we rename this file to `basic-example.html` or just `example.html`?

I'm not a big fan of numbers in filenames. They don't mean anything.