pull down to refresh

Consensus changes: always a leadership problem, never a "CI is failing and a rebase is needed" problem. Yet somehow, all 5 of the open PRs against core fail CI and 3/5 need rebase, and likewise 2/3 of the open PRs against inquisition fail CI.