Add new Xml Diff option to "hide identical" elements in the output so that the HTML diff scales much better on very large documents, thanks to Mark Roberts for the XmlDiff feature behind this.

Issue 186 "Options" dialog now remembers its position. Bug 331: "ReplaceAll" with unallowed characters gets stuck.