Gadget-duplinks

[Tool] Allows highlighting duplicate links in articles via a toggle in "My Tools" in the editing toolbar.