HaXml-1.22.3: Utilities for manipulating XML documents