Will IBM-Quark partnership help mainstream DITA?