Delete user-extensions.js