I had read that thread before when I was trying to work out the problem, I believe F3 is actually doing a hard reset when it should be doing a soft reset, I have even remapped hard reset to a completely different key but I still get the same result.
Can someone else please see if they have the same trouble, make sure if you want to keep your high score to make a backup of it first though.