Para beneficio de otros: para obtener pg_vector en AWS RDS 13.x, ejecuté lo siguiente como administrador en pgadmin:
CREATE EXTENSION vector;
Para beneficio de otros: para obtener pg_vector en AWS RDS 13.x, ejecuté lo siguiente como administrador en pgadmin:
CREATE EXTENSION vector;