Last modified: 2013-03-01 21:24:28 UTC
Starting a second refresh during a refresh is slow and sometimes messes up. Prevent a second refresh while the first is running!
Not able to repro this behavior now after the refresh thingy got better positioned.