pull down to refresh

Yes, this was an unfair metonymy and was not intended to be a jab at other core devs. Nevertheless, I am critical of Todd, whose voice, evidently, has much import in the space. Thanks for making that point of clarification.
reply