pull down to refresh

According to some developers' conversation, there seems to be some trouble with DNS, which might be causing some of the lagging you're experiencing. They're investigating it further to pinpoint the actual cause and try to solve it. Let's hope they succeed promptly...