01-intro: conform to template

The only errors I get when I run `tools/check 01-intro.md` are related to the glossary, which we will fix later.