pull down to refresh

I see, thanks. According to the link of @Scroogey it wouldn't have make any difference for the mobile app apparently. Button pushed or not, HTTP is the protocol used as far as I understand the GitHub issue