[sr-dev] git:refs/tags/sr_3.0.2: Tag sr_3.0.2: Mostly bugfixes & docs.