Terser logging

The development logging is currently a bit overwhelming. This PR trims it down a bit, à la 39046680a.