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!