> On Sun Apr 30 19:45:34 UTC 2017, Richard Eisenberg wrote:
> Documentation is just about always suboptimal -- but the
> best people to suggest concrete improvements are those who
> were confused to begin with. So, by all means, submit
> patches!
Thanks for the invite ;-).
OK. Done. See #13657.
> On Sun Apr 30 19:35:17 UTC 2017 Brandon Allbery wrote:
>> On Sun, Apr 30, 2017 at 3:31 PM, Richard Eisenberg wrote:
>>>
>>> On Apr 30, 2017, at 6:37 AM, Anthony Clayden wrote:
>>> Is that behaviour officially documented somewhere?
>>
>> Not that I can find. ...
>
> ... the originally cited beha