Re: [ros-dev] Proposal for a new "Documentation Management" group