A fix for a divergence issue in a popular SQLite CRDT extension