pull down to refresh

Yeah it’s not built into any general web clients to my knowledge, so you need a custom client, but it has been used in production since 2020.