ROS: updating wiki.ros.org alias