Deleted pointless animations.user.js