Does anyone know of any DOT -> mermaidjs format converters? I was looking for one recently and was surprised not to find anything more robust than someone's quick search and replace script.
Does anyone want to look at porting the mermaid layout method back to Graphviz? It might be useful to people. I guess some friction would be around the kind of awkward way that Graphviz has to deal with objects that aren't strictly nodes, edges, or subgraphs.