Terser logging

The development logging is currently a bit overwhelming. This PR trims it down a bit, à la 39046680a.
@csillag and I have discussed this offline. These issues are orthogonal to the content of the PR, and have existed since before it was made.