pull down to refresh

Yes, this is the intention.

However, I think there were some occasions where the button was gone but maybe that was just during me messing around locally.

So I wouldn't completely rule out a bug.

you can reply if you want, I'll promise I won't edit my comment