Extension:RemoveRedLinks

I was just wondering if there was a good reason for me to stop using it... Thanks anyway!

If you like it, you're fine still using it. It's an ugly hack, but hey, I guess it works :)

Thank you for the answer! Indeed it works very well for our purpose. Thanks for writing it, even if you think it's a piece of junk ;-)