Hunting a 16-year-old SQLite bug with TLA+: is dqlite affected? | Dark Hacker News