Revert "Revert "Rename OLDTools to OLDTools.user.js""

This reverts commit d4aee81c9335a5b7f0e80a07f4feee4fd0671360.