intarray extension installation

On Thursday, August 29, 2024, PG Doc comments form <noreply@postgresql.org>
wrote:

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/15/intarray.html
Description:

Hi,
can you please specify somewhere that intarray extension is part of contrib
package?
I found this out only on a stackoverflow from almost 10 years ago.

Package structure decisions are the responsibility of the package creator.
So the core documentation, which doesn’t get involved with the details of
third-party decisions, doesn’t address them.

David J.