comment/delete rosinstall sources we're not developing for right now (avoid confusion).