Sprotty diagrams in VS Code extensions - View it on GitHub