Refactored HistoryManager slightly so that SavedHistory can save options
from HistoryOperations.