Collaborative Document Editing with a Raspberry Pi reddit / selfhosted