Grammatical fixes (this is, removing future tense in most cases). Other minor documentation improvements.