As there were no real problems with my implementation of the Erik-style category feature
at the test site (only a few improvement suggestions, IIRC), I commited the changes in
Language.php, Skin.php, OutputPage.php, and the new SpecialCategories.php to the CVS.
It will not engage unless
$wgUseCategoryMagic = true ;
is set in LocalSettings.php
Magnus