Update docs/intro.html