Rename 'undo-manager.js'