I have started checking the Coverity results again. There's a lot of
good stuff in there! But there's some false positives, as well.
I *strongly* encourage developers to start checking the coverity
results; it takes a little time to dig through the issues that it
finds and decide whether they're real or not. If we each take just a
few a day, we could be in pretty good shape for v1.3.