A number of small edits and syntax improvements to Into documents