Rename Keybindings overlay
Define JSO object for codemirror editor options