Last modified: 2005-10-08 23:34:21 UTC
"#REDIRECT" has been the standard for for most of wikipedia's existence,
but recently software is generating "#redirect" on page move instead.
While it's a minor stylistic issue, it would be better to use the same
form everywhere, as not to confuse users.
It used to be hardcoded, but now uses the actual first defined magic-word
value for the redirect, which apparently is defined in lowercase form (but
set as case-insensitive).
FIXED in CVS HEAD