RoboVasion moved to http://www.nongnu.org/robovasion.