Seems that pgvector has a viable competitor extension: https://github.com/tensorchord/pgvecto.rs