09-intro.md: Fix list formatting