Fixes for pull request: Intro changes, examples, and monospacing