Improved mermaid branch, with server-side rendering.
Unlike !205 (closed), this branch uses mermaid-cli
to extract our mermaid diagrams and turn them into SVG. This won't actually work yet, since I have broken the CI.
We should fix that (by installing mermaid-cli) in our CI.
Possible future changes are:
- Make the script output nicer
- Make the script run faster and cache its results
Allow mermaid in proposals tooTolerate it if the local user doesn't want to install mermaid-cli.
Edited by Nick Mathewson