>
>> Is this a bug ?
>>
>
> Not in parallel.  Something else has changed, and I am about to commit a
> different version that still works as documented.
>
>
Thanks for replying.

	[[alternative HTML version deleted]]

