-
@siwelwerd Even though we made up our LaTeX domain-specific language before I knew much about #PreTeXtGang, I've always felt a little smug that we independently came up with a lot of its structure. So 80% of the conversion has simply been \begin{foo}[...]\end{foo} -> <bar>[...]</bar>.