pull down to refresh

good points. for context, this was initially designed in summer of 2022, and one of the reasons it was prioritized was that the cost of changing the design was very low then.
fwiw, i think it’s still very low, but the cost of introducing big design changes does grow over time.