Big PRs sit for days. How do we fix that

Make them smaller, because attention does not scale with size: a 50 line change gets real review, a 2000 line change gets a rubber stamp. Splitting by mechanical versus meaningful is the easiest cut, since the mechanical half needs eyes but not thought.