# robots.txt for http://synonym.oooforum.dk