Delete options.html~