Think about alternative to dot for flowcharts

[t-b]

We use graphviz/dot for our flowcharts. While the language is itself quite capable, the available editors are very limited. They almost all only allow to view the generated image, but we need to be able to interactively label nodes and edges.

The editor I'm right now using is dotty (only available in Graphviz 2.38 or earlier). It has a really clunkly UX being a 90's X app. But it's the only viable option.

Now we could actually also use mermaid, this is also supported in sphinx (https://github.com/mgaitan/sphinxcontrib-mermaid but that project is missing a maintainer...).

But the need to convert our dot files to mermaid. I've found https://github.com/monitorian/dot2mermaid. But that has a quite broken DOT parser see visjs/vis-network#505.

And there is an editor which allows to interactively edit mermaid files, see https://www.mermaidchart.com.

So for now this issue is just for documenting my findings.

[t-b]

One might be able to code a converter p with https://graphviz.org/pdf/gvpr.1.pdf, see the forum article linked in #968 for an example gvpr script.