This looks like an interesting project. Though it's worth noting that the license is AGPL. So if the idea is for this to take over for pgvecto.rs, it's an impo

This looks like an interesting project. Though it's worth noting that the license is AGPL. So if the idea is for this to take over for pgvecto.rs, it's an important data point for those building SaaS products. It will make pgvector the only permissively licensed option, given it has the same license as Postgres.