This is xmlto.

See doc/xmlto.xml for more detail about what it is.
