Is er een aanbevolen manier om pgvector op RDS te krijgen?

[Will_Grosett]

Ten behoeve van anderen - om pg_vector op AWS RDS 13.x te krijgen, heb ik het volgende als admin in pgadmin uitgevoerd:

CREATE EXTENSION vector;