A fix for a divergence issue in a popular CRDT library | Not Hacker News!