> 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.



Reply via email to