I’m incredibly excited for this (format - the paper is great as well). As usual, obvious in hindsight. Any plans to open source any tooling related to the creation of such documents?
Perhaps at some point! More likely: lots more thought needs to go into how one could make general tools for this. This is a pretty special-purpose prototype.