Reformat with latest xml2rfc (2.4.8).