Date: Mon, 20 Jun 2016 10:50:27 -0700 (PDT)
From: Drew Adams <address@hidden>
Cc: address@hidden, address@hidden, address@hidden
FWIW, I agree with Dmitry: this has been a de-facto behavior long
enough to consider it the correct one. If documentation is confusing
in that it says otherwise, we should fix the documentation.
I couldn't disagree more.
It is wrong to consider the current behavior "the correct one",
regardless of how long it has been in place. It is wrong because
you cannot use it in a general and precise way. It is just broken.
It has been broken for a long time, but it is broken nevertheless.