While I suspect DuckDB would compress better, given the ubiquity of SQLite, it seems a fine standard choice.

the data is dominated by big unique TEXT columns, unsure how that can much compress better when grouped - but would be interesting to know