# robots.txt for http://www.santacruzsoftware.com/