[sr-dev] git:master:827307c5: lost: doc edits