I checked in a fix for the bug that caused a #REDIRECT to a non-existent page to result in an edit conflict. It turns out that unset() doesn't destroy global values, only local ones.
Axel
wikitech-l@lists.wikimedia.org