Update docs/documentation.html