> > Patches are highly welcome :-)
>
> I wouldn't mind writing a patch once I'm sure of which behavior is
> best. My lack of practical experience with pic leaves me reluctant
> to make a judgement call yet.
Well, it seems that you've hit a behaviour which is (a) quite obscure
since there has never been a report about it, (b) which doesn't work
in AT&T pic and Dwight's dpic anyway, and (c) which can be
circumvented easily. Feel free to remove it completely in case it is
the most convenient solution.
Werner
