pull down to refresh

Probably log a GitHub issue if you’re following the written instructions and they don’t work. The team is very responsive!
Edit: plus, I think more people are likely to find your issues and questions there later, compared to the saloon posts