On Tue, Mar 5, 2019 at 12:06 PM Arthur A. Gleckler <xxxxxx@speechcode.com> wrote:

BTW, the IETF has just gone through a similar approach by moving RFC's
from plain text to an XML-based format:
https://xml2rfc.tools.ietf.org/

Perhaps we could just reuse their tools? (They are / will be better
maintained than anything we can come up with.)

I will read up on them.

I read a bunch about them. My impression is that they're great for the IETF, but that they're too specific to IETF formats and too heavyweight for us — specifically, that they would be a lot of work for little benefit compared to a simple solution involving HTML classes.