And another figuring this thing out

This time I've changed .gitignore so that it pushes .htmls. This is apparently needed for github's hosting.