It seems to be in a state where we do both already. Such a sweep would be time-intensive as it can't really be `sed`ed, and is very intrusive to a large volume of open PRs right now. I don't see a problem with chipping away at them as we go along, so long as we all agree on the direction. It's eventually consistent :)