pull down to refresh

I'm skeptical towards browser extensions.
But maybe that is bias because I hate browser extensions in general (only adblock, no-script and 2-3 curl/rest - like tools) and prefer native programs and dedicated full tools.