# robots.txt for www.linux.dk