[xarope]

That can't be right, I use draw.io on my mint laptop, from https://github.com/jgraph/drawio-desktop/releases