[sr-dev] git:master: man pages: editorial changes