[sr-dev] git:master: Doxygen updates (not done with this directory)