>     I though I should send a send-pr on this problem and fix.  It seems
> that it is necessary to get a ID to give to the pr.  To do so one apparently
> does a send-pr --request-id.  I have done so earlier this weekend but have 
> not yet received a reply.

It's not as clear as it should be, but we don't assign customer id's any
longer.  Anyone can submit a pr, it will default to customer "net".  The
reason you haven't heard this in response to your --request-id, is that
I'm still trying to catch up after returning from USENIX...

	--jtc