Changes to 00-intro.md