Thread:User talk:^demon/Extension:RemoveRedLinks/reply

I deleted the manual page because I deleted the extension in r111167. I think it's a piece of junk and I have no intentions of ever touching it again.