[ros-dev] Small suggestion for the abandoned SVN mirror on GitHub