Use XML for RFCs.