Wikimedia Bugzilla is closed!

While we are waiting for the automatic category redirects (bug 3311) to be completed, I propose mediawiki to render the redirected category links with different color. In article pages we see and understand that red link means nonexistent category and blue link for existent category, perhaps by render the redirected category with purple perhaps (i dunno), user can immediately realized that the category must be changed to the correct one.