Re: [PATCH 2/7] Minor edits to intro.xml