History Options
You must be
logged in
to store or switch histories.
Rename
current history (stored as "Unnamed history")
Delete
current history