pull down to refresh

Am not a techie but have only used linux (mostly debian) since about 2000.
It is the way to go imo.