Just saw you have Mermaid integration. I'm a heavy diagrammer, so thanks for that! Any thoughts on integrating with draw.io?

draw.io is awesome, we will probably integrate it as a community plugin!