Clarification Needed on VARIADIC Keyword Explanation

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/17/plpgsql-overview.html
Description:

The current documentation for the VARIADIC keyword in PostgreSQL contains an
incorrect statement. It says that VARIADIC "prevents expansion of the
function's variadic parameter into its element type." This is misleading, as
the purpose of VARIADIC is to enable the expansion of an array into
individual elements, allowing them to be passed as separate arguments to a
variadic function.

Please review and correct the documentation to accurately reflect that
VARIADIC facilitates the expansion of array elements into individual
arguments for functions, not the opposite. Thank you!