graphedit-plugindb Database / registry for graphedit plugins Format: { "db": { "plugin-name": { "<semver>": "<url>.jar" } } }