[soal]

Oh, cmon, code editors are plenty. I read this in my inbox and uninstalled Zed. It's not my main editor though.

[logicprog]

Judging from the opt out section and other parts of the ToS it seems pretty clear to me that most of the terms only apply (including the arbitration clause) to if you're using their online services. I don't get what the big hooha is about