scripts/export_diagrams.py

Export Project Wiki draw.io diagrams into frontend public assets.

Generated by scripts/sync_wiki.py; see Module Reference.