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