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 :)