Rename 'options-editor.js'