pull down to refresh

github PR's are under-appreciated. Even a simple "feature proposal" or reporting a bug have such important aspect for an open source app. Normally userrs only want to complain, that x and y app it doesn't work as they want, but never fill a serious github issue or proposal to help the dev identify where is the problem of a way to improve the app.