[sr-dev] git:master:ae0e7952: ctl Remove svn ID, remove history, add a tiny bit of doxygen