Update docs.html