Persistent CIDER history