Andreas Schwab wrote:
>> Which tree should we be barking up instead?
> Don't abort.

Good suggestion, thanks. I installed the attached patch to try to bark up the 
right tree, or to chew up the tree bark, or whatever....