Number of ROS users?

@OpenR2 sorry for my longish answer, great that I could help you.

Hope to see the ROS community keep on growing, so that each year’s metrics report hits new records :slight_smile: