[sr-dev] git:master: modules: several small doxygen bug fixes