No big deal, but
$ grep REDIRECT Title.php
got me to thinking, even though one doesn't see "move" as a choice
on NS_CATEGORY etc. pages, one indeed can still manage to stick a
#REDIRECT [[Category:DCS_025]]
onto one, with half-baked results. Perhaps it should be caught.
Version: 1.10.x
Severity: trivial