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