Reformat with 'xmllint --format', and clean documentation strings