User-agent: wget
Disallow: /wiki/

User-agent: Fasterfox
Disallow: /

User-agent: WebStripper
Disallow: /

User-agent: *
Disallow: /downloads/*
Disallow: /w/
Disallow: /wiki/Special:Search
Disallow: /wiki/Special:Random