pull down to refresh

Part of the Tipping overhaul (#1, above) was suggested a few days earlier, and is already today running live: