Add xmllint back + add the docbkx config here.