Don't autosync history. It's slow on big history.
No need to export HIST* options.
Readd history autosync.