Still I prefer auto-sync. So far I have not encountered the slow GUI problem, and there are some problems with manual-only sync.