Docs is a new open-source collaborative text editor, intended as an alternative to Notion, Google Docs, Outline, and other similar web-based services. Interestingly, the project is being led by the ...