example drawio examples need to be exported with svgdata plugin so that we can get their IDs.

examples also require web server. local file access won't allow modifying svg diagram with js.