* (bug 12407) MediaWiki:Comma-separator should be &#x20 (or &#32) instead of &#20