pull down to refresh

True. It depends on the particular case. That's why I don't say one or the other. Both mechanisms are useful in specific scenarios.