Есть ли рекомендуемый способ установки pgvector на RDS?

Для пользы других — чтобы установить pg_vector в AWS RDS 13.x, я выполнил следующее от имени администратора в pgAdmin:

CREATE EXTENSION vector;