Para benefício de outros - para obter o pg_vector no AWS RDS 13.x, executei o seguinte como administrador no pgadmin:
CREATE EXTENSION vector;
Para benefício de outros - para obter o pg_vector no AWS RDS 13.x, executei o seguinte como administrador no pgadmin:
CREATE EXTENSION vector;