On Thu, 4 Apr 2024 at 19:48, PG Doc comments form
<noreply@postgresql.org> wrote:
> We want to compile a vector extension in the postgres 16 dev edition and
> use
> the vector feature in the PostgreSQL
You'll be better joining the pgsql-general [1] mailing list to ask
this sort of question. The tool you've used is for reporting issues
with the documentation, which this is not.
David
[1] https://www.postgresql.org/list/