The pull-down-to-refresh was sometimes triggered erroneously when scrolling up or down on a large page. When working offline, this can lead to problems. We now solved it.