Terser logging

The development logging is currently a bit overwhelming. This PR trims it down a bit, à la 39046680a.
Can we keep this in sync with production.ini?