Solid CRDTs in Practice