pull down to refresh

Hehehe there has to be some balance, it looks like. First 8 million windows machines got borked, now something is happening to dual booting linux boxes...