let history_key_bindings = new CF.list_cp Ed_config.binding_wrappers ~group ["history_key_bindings"] default_history_key_bindings "History key bindings"