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