I just today discovered that draw.io auto converts Mermaid to editable shapes in draw.io. The best of both worlds!