pull down to refresh

Got it. Yeah, I think it's helpful, almost like a linter on steroids. But it's hard to know where to draw the boundary of helpful feedback and stuff the developer already saw and just didn't think was an issue.