The documentation on Partitions does not document the DEFAULTpartition

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/11/index.html
Description:

The documentation on Partitions for PostGreSQL 11 does not document the
DEFAULT partition that can be used to store values that do not match any of
the defined partitions.  I had to search the web to find out how to use
it.

Cheers.