Update 00-intro.html.md