Improve proofit-mode keybindings.