Very cool! I’ve thought crdt’s need more appreciation, and it’s great to see them used practically here.