Changed to use xml2rfc.tools.ietf.org & section 4.2