b9632651 — Robin Jarry bindings: fix ctrl-h binding not working 6 months ago