xmllint-extra

Decorate xmllint error messages with extra information (tag name and offset)