On 2/8/06, charles matthews
These tidy-minded things often have little to do
with the real issues in
writing a dynamic 'Pedia.
The primary reason I try and avoid links to redirects is avoiding
double-redirects if the page changes names one day. A 'softwear' issue
I suppose. Or should we just leave double-redirects to a bot to fix,
if and when it feels like it?
What the hell? You fix the double redirects when you move the page. The
message says it in bold. "Links to the old page title will not be
changed; be sure to check for double-redirects (using "What links here")
after the move."