Hello,
> It took me a while to figure out what those names mean. "unfetched",
> as you call it on the code, may be more descriptive than "avoided" for
> the new label. However I think the other two are more confusing. It
> may be a good idea to change them together with this.
It'll be sad if this patch is forgotten only because of the words choice.
I've changed it all to "unfetched" for at least not to call the same
thing differently
in the code and in the output, and also rebased it and fit in 80 lines
width limit.
Best, Alex