CERCET should use a real stream protocol like JetBrains does with CodeWithMe (cf. [How and what data is going through JetBrains’ servers?](https://www.jetbrains.com/help/idea/faq-about-code-with-me.html#data_jb)).
CERCET should use a real stream protocol like JetBrains does with CodeWithMe (cf. How and what data is going through JetBrains’ servers?).