Delete options.js~