“pull down to refresh” is another name for Pull to refresh.