Edit RFCs in kramdown, then generate XML, text, nroff, and HTML.