On 11/14/2016 4:07 PM, Ken Brown wrote:
> On 11/14/2016 3:54 PM, Paul Eggert wrote:
>> On 11/14/2016 12:43 PM, Eli Zaretskii wrote:
>>> I'd be glad to see the solution improved, of course.
>>
>> I thought those changes were relatively minor technical improvements.
>> Evidently they were taken as intrusive and stepping on other peoples'
>> toes. Sorry about that; that was certainly not the intent. Please feel
>> free to ignore the changes.
>
> I don't want to ignore the changes.  I'll send a new patch that
> incorporates some of your changes.

Here it is.

Ken