Used by install-history-file. Set to #t by default; when set to #f, the history file will NOT be loaded at start-up.