[mikaylamaki]

Sorry you had this experience with Zed. We've seen a few reports of issues with our python integration (https://github.com/zed-industries/zed/issues/23170, https://github.com/zed-industries/zed/issues/22426), and we'll be taking a look at these next week. Please do a file an issue for performance problems like this, it's a bug if Zed isn't fast for your use case :)

[gonational]

I don't make tickets in GitHub, but I regularly give specific feedback in the feedback form. Do you guys look at those?

[mikaylamaki]

We do! Sorry we missed your feedback.