Discrepancy between the documentation and the implementation

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/16/ecpg-sql-set-connection.html
Description:

In the documentation for Postgres 15, on page
https://www.postgresql.org/docs/15/ecpg-sql-set-connection.html, it states
that one can write:

SET CONNECTION connection_name

And under that, it talks about "connection_name" and DEFAULT, which is
supposed to be used in order to use the "default connection".
However, "SET CONNECTION DEFAULT" is treated by ECPG as a normal connection
name (looking for a connection named "DEFAULT"), not as a special keyword
meaning to go back to using the "default" connection.

Is there something I'm missing there ?  The documentation is kinda
misleading, in its current form. Or is there a limitation with ECPG, which
prevents the use of DEFAULT, while it would work with other tools ?

(This is written in the same way for numerous Postgres versions, it's not
limited to version 15)

Regards,
Sylvain FRANDAZ