Terser logging

The development logging is currently a bit overwhelming. This PR trims it down a bit, à la 39046680a.
Will we still see messages about conflicting existing mappings?