Logged In: YES 
user_id=261020

Fred, what will you TeXify?  Are you waiting for Mike to
reply, or were you saying that you'll TeXify what he already
submitted?

Personally, I'm not happy with the original as-is, foremost
because it's not clear how it is intended to fit with the
existing docs (there are certainly other problems with the
suggested additions, but not much point going into detail
before there's a patch).  I would be happy to review / edit
at least some of the content it if it were presented as
patch(es).