Very cool. CRDTs seem to be in the air. I was searching for something unrelated and bumped into https://mycelial.com/ which is also doing CRDTs with sqlite. Very helpful intro to CRDTs video on their youtube channel.