Please separate Special:Categories name and categorybox header (the label in
list of categories underneath page content).
It's currently both generated from [[MediaWiki:Categories]] which disallows to
rename the special page.
Thanks
Version: unspecified
Severity: trivial