Y a-t-il une méthode recommandée pour installer pgvector sur RDS ?

Pour le bénéfice des autres - pour obtenir pg_vector sur AWS RDS 13.x, j’ai exécuté ce qui suit en tant qu’administrateur dans pgadmin :

CREATE EXTENSION vector;

1 « J'aime »