ci.ros2.org and build.ros2.org servers are confusingly similar, both identifying as the ROS2 build farm in Google search. If the servers are not consolidated in the very near future, the header and page titles should be updated to explain their separate purposes and to link to each other, and to not imply that each server is the build farm (see screenshots)


