mention Hibernate JFR in the Short Guide

Author: gavinking

documentation/src/main/asciidoc/introduction/Configuration.adoc

@@ -121,6 +121,7 @@ and `com.github.ben-manes.caffeine:jcache`
 or `org.eclipse:yasson`
 | <<spatial,Hibernate Spatial>> | `org.hibernate.orm:hibernate-spatial`
 | <<envers,Envers>>, for auditing historical data | `org.hibernate.orm:hibernate-envers`
+| <<jfr,Hibernate JFR>>, for monitoring via Java Flight Recorder | `org.hibernate.orm:hibernate-jfr`
 |===
 
 You might also add the Hibernate {enhancer}[bytecode enhancer] to your

documentation/src/main/asciidoc/introduction/Tuning.adoc

@@ -992,6 +992,16 @@ long publisherCacheMissCount =
 Hibernate's statistics enable observability.
 Both {micrometer}[Micrometer] and {smallrye-metrics}[SmallRye Metrics] are capable of exposing these metrics.
 
+[[jfr]]
+=== Using Java Flight Recorder
+
+Hibernate JFR is a separate module which reports events to Java Flight Recorder.
+This is different to reporting aggregated <<statistics,metrics>> via a tool like Micrometer, since JFR records information about the timing and duration of each discrete event, along with a stack trace.
+If anything, the information reported by JFR is a little _too_ detailed to make it really useful for performance tuning.
+It's perhaps more useful for _troubleshooting_.
+
+No special configuration is required to use Hibernate JFR, just include `org.hibernate.orm:hibernate-jfr` as a runtime dependency. In particular, you _don't_ need to enable `hibernate.generate_statistics`.
+
 [[slow-queries]]
 === Tracking down slow queries