Updating ros.org vhosts a bit