GitHub - jgraph/drawio: draw.io is a JavaScript, client-side editor for general diagramming and whiteboarding