Maps F7 to XML formatting (with xmllint)