> How do user notes make it into the documentation proper.
At the moment they don't. Afaik no one is taking those notes and folding
them into the docs where appropriate. It would be great if someone (or
several people) want to do that, and it would be a nice project for
anyone wanting to start contributing to PostgreSQL.
- Thomas