pull down to refresh

I don't see a problem with that choice being available on absolutely everything.
I also don't see a problem with that, see #882175. I wrote this post very quickly and didn't explain myself very well.