"

I see they got deleted anyway.  I was about to go delete them.  I didn't realize that without the quotes one would still be redirected: that does make those redirects entirely superfluous... but then, they still don't hurt anything.  juicetalk "