Add Joey's patches to the manual (which came from a separate patch).
Minor edits to Joey's version.