Thanks for all the feedback! We've not yet discussed it all as a group, but
I'd like to offer a quick solution for easily renaming histories.
In the history panel, just above the first dataset listed, you should see the
name of your current history in lighter text, which if you click on it, should
swap to an inline edit box where you can change the name.
> *Renaming current history*
> There is no obvious way to rename the current history from the "main"
> page. Currently the only way I've found to do this is go to "history
> options", "saved histories". I would suggest adding a rename entry
> under the "history options".
galaxy-user mailing list