Is this ok to install now?

@Eli: I think we can still add the words I wrote to the manual.  What is
the cheapest way to learn enough of texinfo and its usage by the Emacs
manual to be able to create a correct patch?


Thanks,

Michael.