Issue #14202: Greatly enhance the documentation of xml.dom.pulldom.
Patch by Florian Mladitsch