Update 00-prelude.md