Crawlers may still index pages that should be disallowed due to encoded characters, see the following example:
Disallow: /wiki/Wikipedia:Arbitration/
Disallow: /wiki/Wikipedia3AArbitration/
Disallow: /wiki/Wikipedia3AArbitration%2F
Disallow: /wiki/Wikipedia:Arbitration%2F
MediaWiki should generate these extra rules automatically for users.
Version: unspecified
Severity: enhancement