Where are Hibernate 5 properties documented?

Hibernate 3 and 4 used to document the available configuration properties:

• http://docs.jboss.org/hibernate/orm/3.6/reference/en-US/html_single/#configuration-optional
• http://docs.jboss.org/hibernate/orm/4.3/manual/en-US/html_single/#configuration-optional

The documentation for Hibernate 5 (http://docs.jboss.org/hibernate/orm/5.0/userGuide/en-US/html_single/) does not contain anything similar. Is it just not ready?

When I joined the Hibernate team, my first task was to rewrite the entire Hibernate User Guide. So, starting from Hibernate 5.1, there's a new section dedicated to Hibernate configurations.

Enjoy reading it!