Keeping the index.html up to date with some fixes merged into documentation.md