pull down to refresh

Many options that only some people use are not a problem. Usually a bigger problem is a missing option that you need, because "nobody uses it".