pull down to refresh

Isn't this better handled by an extension, thus leaving users the choice?
the extension allows for custom backends too.
reply