Rename documentation.html to docs.html