Deleting index.html to see whether it regenerates automatically

I am still kind of fuzzy about when gh-pages automatically generates and
when it doesn't. Just testing stuff out. I'll probably end up recreating
the entire repository once it makes sense.