For the benefit of others - to get pg_vector on AWS RDS 13.x I ran the following as admin in pgadmin:
CREATE EXTENSION vector;
For the benefit of others - to get pg_vector on AWS RDS 13.x I ran the following as admin in pgadmin:
CREATE EXTENSION vector;