In case there's no objections and we decide to go through with this,

I've change the default and run "make check".

It seems no tests are impacted, and the patch is therefore pretty small.

Is there anything more we'll need to do?

Mention the change in etc/NEWS ?

        Stefan