Tweak formatter test html to pass `xmllint`

Fixes #888