Document Node.isSameNode().
diff --git a/Doc/lib/xmldom.tex b/Doc/lib/xmldom.tex
index 4a8c7b7..74c92fb 100644
--- a/Doc/lib/xmldom.tex
+++ b/Doc/lib/xmldom.tex
@@ -237,6 +237,13 @@
Returns true if the node has any child nodes.
\end{methoddesc}
+\begin{methoddesc}[Node]{isSameNode}{other}
+Returns true if \var{other} refers to the same node as this node.
+This is especially useful for DOM implementations which use any sort
+of proxy architecture (because more than one object can refer to the
+same node).
+\end{methoddesc}
+
\begin{methoddesc}[Node]{appendChild}{newChild}
Add a new child node to this node at the end of the list of children,
returning \var{newChild}.