Revised xmllint.sh [MRB]