let
copy_history =
Ed_minibuffer
.history ()