[sr-dev] git:master: corex: minor documentation edits