There have been no comments since the revised draft was
posted early May.  I suspect everybody has said their thing,
and I don't think we will come to agreement on whether its
a good idea or not.  But maybe somebody has editorial comments
on the latest revision?  I'll let the Editors set a deadline,
at which point I think we should just declare it done.
--
	--Per Bothner
xxxxxx@bothner.com   http://www.bothner.com/~per/