More generally, should ros2 packages that aren’t necessary to build ros2 from source be included in the master ros2.repos file? Building all of the ~200 packages in the ros2.repos file takes around a half hour on my very fast machine. While this may be acceptable at the moment, as ros2 grows, it makes sense to separate the ros2.repos into smaller repos files. To me a reasonable split would be ros2_core.repos and ros2_extras.repos.
ros2.repos file is not intended to be used long term and it is more than overdue to replace the instructions with something like
rosinstall_generator instead (which is what the ROS 1 instructions use).