Clean up the intro documentation a little