Hi, The plugin doesn't seem to install in draw.io desktop 9.3.1. Is this a known issue? If so, are there any plans to fix it? Very best regards, John.