Discarded my own patch. Now the document is the same as trunk.