Hi! We unpack all docbook_xml_dtd_* to $out/xml/dtd/docbook/, so one cannot install both in one environment. Are there any objections against moving it to some version-aware directory? For example, gentoo uses /usr/share/sgml/docbook/xml-dtd-version.