Some of the figures will need updating due to resolution issues, etc. Are you OK with using draw.io (free online figure tool, kind of like Google Docs for figures) for these? It produces HTML graphics which are very portable and can be exported to a wide variety of formats so they should be stable and updatable again in perpetuity, even if draw.io goes away.
If so I could port some of the figures there/make updated versions there.
Some of the figures will need updating due to resolution issues, etc. Are you OK with using draw.io (free online figure tool, kind of like Google Docs for figures) for these? It produces HTML graphics which are very portable and can be exported to a wide variety of formats so they should be stable and updatable again in perpetuity, even if draw.io goes away.
If so I could port some of the figures there/make updated versions there.