Clarification on SET SESSION AUTHORIZATION Syntax

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/18/sql-set-session-authorization.html
Description:

Hi Team,

In the `SET SESSION AUTHORIZATION` statement, the syntax is defined as:

```sql
SET [ SESSION | LOCAL ] SESSION AUTHORIZATION user_name;
```

I would like to clarify whether the following query is valid:

```sql
SET SESSION SESSION AUTHORIZATION user_name;
```

Since `SESSION` and `LOCAL` are optional alternatives in the syntax, does
the first `SESSION` keyword allow the query to contain two consecutive
`SESSION` keywords?

If this syntax is not valid, should we update the grammar to the following?

```sql
SET [ LOCAL ] SESSION AUTHORIZATION user_name;
```

Please clarify the expected syntax so that we can update the grammar
accordingly.

Thanks.