ALTER DATABASE lacks documentation of REFRESH COLLATION VERSION

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/17/sql-alterdatabase.html
Description:

The documentation of ALTER DATABASE mentions four forms and then skips to
"The remaining forms change the session default for a run-time configuration
variable", omitting the documentation of the fifth form
```
ALTER DATABASE name REFRESH COLLATION VERSION
```
It would be useful to have more information on what that command does, which
permissions it requires, whether the database can be used during this
operation, etc.
This command is relatively important since after operating system updates,
collations will often mismatch, issuing an warning that asks the
administrator to run this command.
```WARNING:  database "..." has a collation version mismatch
DETAIL:  The database was created using collation version 2.35, but the
operating system provides version 2.39.
HINT:  Rebuild all objects in this database that use the default collation
and run ALTER DATABASE stats REFRESH COLLATION VERSION, or build PostgreSQL
with the right library version.
```