Github requires the default page to be index.html, so I renamed it.