It is cleaner than applying a patch to draw.io source. Or are there reasons not to do it? @simeonackermann