pull down to refresh

Yes, it should happen. And it also happens because of this: #468745
Got it. It’s an interesting experiment…
reply