Esiste un modo consigliato per ottenere pgvector su RDS?

[Will_Grosett]

A beneficio di altri: per ottenere pg_vector su AWS RDS 13.x ho eseguito quanto segue come amministratore in pgadmin:

CREATE EXTENSION vector;