Since posting, I've fixed some mistakes in the texinfo documentation.
Here's an updated patch.

     Mark