When will extension be synced to prod?

[x4132]

Hi, the current extension version in Zed stable is over a month old, and in that time there have been a lot of major improvements (e.g. not crashing while offline), is there any plans to update the extension version in zed-industries/extensions repo?

[tartarughina]

@playdohface is working on it ;)

[playdohface]

zed-industries/extensions#3745 is on the way :)