zed-industries/extensions

**Brief Summary** `zed-industries/extensions` is a collection of community‑maintained plugins that add extra language support, UI widgets, and workflow shortcut