Revert "Rename OLDTools to OLDTools.user.js"

This reverts commit 1324245f31731a616b0ce18858bfea056b59320b.