pull down to refresh

I'm sure there would be a group of devs happy to volunteer to play that cat and mouse game by releasing updates to automate this. The repo might have to move out of GitHub.