pull down to refresh

It was one of the first that I came across, which would have been late 2022 or early 2023. It's very useful.