Alejandro review

Author: sarahhaggarty

docs/topics/jvm/jvm-records.md

@@ -65,45 +65,24 @@ JVM records require the `16` target version or higher of the generated JVM bytec
 
 To specify it explicitly, use the `jvmTarget` compiler option in [Gradle](gradle-compiler-options.md#attributes-specific-to-jvm) or [Maven](maven.md#attributes-specific-to-jvm).
 
-## Annotate records in Kotlin
-
-To make an [annotation](annotations.md) available on both Kotlin properties **and** Java record components, add the
-following meta-annotations to your annotation declaration:
-
-* For Kotlin: [`@Target`](https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.annotation/-target/index.html)
-* For Java record components: [`@java.lang.annotation.Target`](https://docs.oracle.com/javase/8/docs/api/java/lang/annotation/Target.html)
-
-For example:
-
-```kotlin
-@Target(AnnotationTarget.CLASS, AnnotationTarget.PROPERTY)
-@java.lang.annotation.Target(ElementType.CLASS, ElementType.RECORD_COMPONENT)
-annotation class exampleClass
-```
-
-The `exampleClass` annotation can now be applied to Kotlin classes and properties, as well as Java classes and record
-components.
-
-### Propagate annotations of a record component
+## Annotate record components in Kotlin
 
 <primary-label ref="experimental-general"/>
 
-<!-- Add warning about `@all` needing opt-in -->
-
-In Java, annotations on a record component are automatically propagated to the backing field, getter, and constructor parameter.
+In Java, [annotations](annotations.md) on a record component are automatically propagated to the backing field, getter, setter, and constructor parameter.
 You can replicate this behavior in Kotlin by using the [`all`](annotations.md) use-site target.
 
 > To use the `all` use-site target, you must opt in. Either use the `-Xannotation-target-all` compiler option or add
 > the following to your `build.gradle.kts` file:
-> 
+>
 > ```kotlin
 > kotlin {
 >     compilerOptions {
 >         freeCompilerArgs.add("-Xannotation-target-all")
 >     }
 > }
 > ```
-> 
+>
 {style="warning"}
 
 For example:
@@ -115,9 +94,27 @@ data class Person(val name: String, @all:Positive val age: Int)
 
 When you use `@JvmRecord` with `@all:`, Kotlin:
 
-* Propagates the annotation to the property, backing field, constructor parameter, and getter.
+* Propagates the annotation to the property, backing field, constructor parameter, getter and setter.
 * Applies the annotation to the record component as well, if the annotation supports Java's `RECORD_COMPONENT`.
 
+## Make annotations work with record components
+
+To make an [annotation](annotations.md) available on both Kotlin properties **and** Java record components, add the
+following meta-annotations to your annotation declaration:
+
+* For Kotlin: [`@Target`](https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.annotation/-target/index.html)
+* For Java record components: [`@java.lang.annotation.Target`](https://docs.oracle.com/javase/8/docs/api/java/lang/annotation/Target.html)
+
+For example:
+
+```kotlin
+@Target(AnnotationTarget.CLASS, AnnotationTarget.PROPERTY)
+@java.lang.annotation.Target(ElementType.CLASS, ElementType.RECORD_COMPONENT)
+annotation class exampleClass
+```
+
+You can now apply `@ExampleClass` to Kotlin classes and properties, as well as Java classes and record components.
+
 ## Further discussion
 
 See this [language proposal for JVM records](https://github.com/Kotlin/KEEP/blob/master/proposals/jvm-records.md) for further technical details and discussion.