The do_history() command allows you to search and slice history before displaying it. The do_save() command doesn't, but it will save history to a file. The do_edit() command lets you edit one history item and then run it. We should consolidate all the history functionality into a single command.