ok, turning auto-save off did not help either when I find the time, I will file a bug at github
cheers, /Lodewijk
