pull down to refresh

Of course!

Thanks for posting that on Github, that's the most convenient for us and most effective in getting things done!