Update staticdocs (slightly modified index.html)