# robots.txt for curl.haxx.se