Comment by superbaconman

Publishing the documentation seems like a lot of work. I guess everything is just manually synced between users via git?