Rename 00-intro.md to 00-intro.html