Rename OLDTools to OLDTools.user.js