pull down to refresh

And the extent to which people have gone paperless is VERY different in different countries.
For instance - between the US and Germany - Germany is far, far more paper oriented. You go to any bureaucracy in Germany, and most things are still in paper, with big file cabinets.