updated staticdocs stuff after the new push to GitHub