I've been using the offline version of Draw.io for this. You can save diagrams as individual xml files. Unfortunately the data is base64 encoded by default so you have to manually convert them to a searchable format. I wrote a script to do that: https://github.com/JesseAldridge/draw.io-convert