pull down to refresh

It reminds me of discussions we've had about "rights". "Public" and "private" are often useful shorthands, but on the edges shorthands don't always hold up.