MediaWiki:Edittools.js
Fragment of a discussion from Project:Current issues
It was intentionally moved without a redirect because inclusions of the old name would otherwise result in a JavaScript Syntax error when interpreted.
I checked the backlinks, it is only linked from archives. And when they click the link, they'll see the deletion log with a link to the new location.
