Hello, I have tagged this bug as wontfix. What you ask for is too invasive on users of caml-mode, changing these key bindings would mean that users of the debian package will have completely different key bindings than users of the upstream package. Best -Ralf.