let switch_buffer_history = Ed_minibuffer.history ()