Building a BFT JSON CRDT – “written with a ‘teach so that i can learn’ approach”.