pull down to refresh

Someone replied that this may indeed be a bug in WebKit. Filed a bug report with them now: https://bugs.webkit.org/show_bug.cgi?id=258922