User-agent: *
Disallow: /devdoc/
Disallow: /dev/Special:Search
Disallow: /dev/Special:Random