pull down to refresh

This was patched in 13.0.2, reflecting the recommendation from #1486646