deleted the Documentation.html (as it is in the gh-pages-branch now)