Explanation comments moved to Intro.md.