Remove unneeded keybindings for proof-mode