I'm looking at
some recent trunk commits (also, others) that seem to have non-trivial untested code at at
ReviewProcess. I can't tell if the codecov reports are wrong or if the development process documentation is wrong or if the commits just violate policy or (I guess) some mix of the three.