I am happy to announce that we have no more double redirects anymore (in the article namespace, that is). While that doesn't sound like a big thing, a double redirect could be an annoyance for newcomers. So, keep it that way ;-) Magnus