DuckDB stays open source while the team behind it goes to work for Amazon Help Net Security