Rename 'copy_of_undo-manager.js'