[sr-dev] git:master: mangler: Minor doc update