Comment by frankjr

..and is not even open source (EDIT: I'm wrong, see below). Zed's remote server on the other hand seems to be OSS. One could probably install it themselves without relying on the automatic download.

https://github.com/zed-industries/zed/tree/633b665379c18a069...