User-agent: *
Disallow: /misc/
Disallow: /programs/
Disallow: /unsupportedtools/
Disallow: /files/