Hi Mathias,
Sorry about the mega-slow reply. Christmas holidays and all that....
My computer is certainly not a rocket-ship (i5, 2.8Ghz, 4 physical cores) and yes, there are usually quite a few other programs open. I have no idea if those are doing updates to the filesystem, sorry.
Refreshing fixes it as you said.
Sorry, I'm not being much help...