Various tools for draw.io
jgraph/drawio-tools has 186 GitHub stars.
It currently ranks #12663 daily, #13681 weekly, #17057 monthly by momentum on Trending Repos; its best-ever rank is #5538.