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