> I wonder, though, if the small emendation to the docs, > above, might be a good idea anyway, for clarity.
Yes. I vote in favor of this change.
> I wonder, though, if the small emendation to the docs, > above, might be a good idea anyway, for clarity.
Yes. I vote in favor of this change.