merging into gh-pages

Merging previous re-building of index.html (through just issuing `make`).
This is as pull requests for extra visibility.