better coq mapping to avoid clash with C-h (maybe used for split moving)