3 ms·GPUI is also abandoned as a separate non-Zed project, so unfortunately not that promisingby eviks 8mo agoGPUI is also abandoned as a separate non-Zed project, so unfortunately not that promising