If you follow the links, I think https://willcrichton.net/nota/ https://willcrichton.net/nota/ makes a compelling argument for the benefits of Nota at least in

If you follow the links, I think https://willcrichton.net/nota/ https://willcrichton.net/nota/ makes a compelling argument for the benefits of Nota at least in the niche of its intended use-case: making programming language academic papers more understandable. As mentioned in another comment, rendering to high-quality PDF is an obvious need/question: can it do that? (Perhaps) better would be rendering to LaTeX for compatibility with existing system.