Rename Documentation.html to documentation.html