pull down to refresh

No, it was intentional but I don't think it makes sense anymore. Seems worth allowing for both in cases where people change their mind.
Cool, I’ll try to remember to open a GitHub issue for that