On Mon, Oct 17, 2011 at 4:42 AM, Paolo Carlini <paolo.carl...@oracle.com> wrote: > FWIW, I still believe that tweaking the documentation to match the long > standing reality, would be a small improvement. I'm not going to further > insist, anyway.
It isn't improvement. The improvement would be to restore the documented default.