Yes, the name conflict is unfortunate. We named our project Zed in 2021 before the Zed text editor was a thing.