CRDTs are built on an elegant kernel, but offer a leaky abstraction that mislead | Not Hacker News!