[sr-dev] git:master: Minor stylistic edits to documentation.