Remove automerge-doc-server and sync Automerge docs from backend using samod#875

jmoggr wants to merge 1 commit intomainToposInstitute/CatColab:mainfrom

samodToposInstitute/CatColab:samodCopy head branch name to clipboard