Hide-flag wasn't set so option shows up in keymap editor. But seems like that flag is ignored there by now anyway.