Rename 'source_editor.js'