editors/zed: Update to 0.213.7

Changelog:

• https://github.com/zed-industries/zed/releases/tag/v0.213.4
• https://github.com/zed-industries/zed/releases/tag/v0.213.6
• https://github.com/zed-industries/zed/releases/tag/v0.213.7

Reported by: GitHub (watch releases)