pull down to refresh

Possible, but trying to get the genie back in the bottle isn't something we want to rely on with future changes. The threshold for letting it out in the first place needs to be higher than a few salaried devs punching a clock having the keys just because they usurped a given GitHub repo.