Considering the fact that the gpui code only exists as a crate under the zed repo, I'd say you are correct.