Thanks for the info! If you use Task Manager (Ctrl + Shift + Esc) then go to the Performance tab, you'll see "Memory" there, listing how much ram you have. But don't worry too much about it! It seems like a rare bug and we'll try to have a look at it, but it's a tricky one to pin down!