applied patch from Mark Vakoc except the API change, preserved it. updated

* debugXML.c: applied patch from Mark Vakoc except the API
  change, preserved it.
* doc/*: updated the docs to point to the search engine for
  information lookup or before bug/help reports.
Daniel
diff --git a/doc/xmlio.html b/doc/xmlio.html
index fe4106e..c324799 100644
--- a/doc/xmlio.html
+++ b/doc/xmlio.html
@@ -247,6 +247,7 @@
 
 
 
+
 } </pre>
   </li>
   <li>And then use it to save the document: