Revise editorially

Author: traviscross

src/procedural-macros.md

@@ -134,10 +134,10 @@ r[macro.proc.derive]
 ## The `proc_macro_derive` attribute
 
 r[macro.proc.derive.intro]
-The *`proc_macro_derive` [attribute][attributes]* defines a *derive macro* which defines an input for the [`derive` attribute]. These macros can create new [items] given the token stream of a [struct], [enum], or [union]. They can also define [derive macro helper attributes].
+The *`proc_macro_derive` [attribute][attributes]* defines a *derive macro* that can be be invoked by the [`derive` attribute]. These macros are given the token stream of a [struct], [enum], or [union] definition and can emit new [items] after it. They can also define [derive macro helper attributes].
 
 > [!EXAMPLE]
-> The following is an example of a derive macro. Instead of doing anything useful with its input, it just appends a function `answer`.
+> This derive macro ignores its input and appends tokens that define a function.
 >
 > <!-- ignore: test doesn't support proc-macro -->
 > ```rust,ignore
@@ -151,7 +151,7 @@ The *`proc_macro_derive` [attribute][attributes]* defines a *derive macro* which
 > }
 > ```
 >
-> And then using said derive macro:
+> To use it, we might write:
 >
 > <!-- ignore: requires external crates -->
 > ```rust,ignore
@@ -188,10 +188,10 @@ r[macro.proc.derive.duplicates]
 The `proc_macro_derive` attribute may only be specified once on a function.
 
 r[macro.proc.derive.namespace]
-The `proc_macro_derive` attribute publicly defines the custom derive in the [macro namespace] in the root of the crate with the name given in the attribute.
+The `proc_macro_derive` attribute publicly defines the derive macro in the [macro namespace] in the root of the crate using the name given in the attribute.
 
 r[macro.proc.derive.output]
-The input [`TokenStream`] is the token stream of the item that has the `derive` attribute on it. The output [`TokenStream`] must be a set of items that are then appended to the [module] or [block] that the item from the input [`TokenStream`] is in.
+The input [`TokenStream`] is the token stream of the item that has the `derive` attribute on it. The output [`TokenStream`] must be a set of items. These items are appended following the input item within the same [module] or [block].
 
 r[macro.proc.derive.attributes]
 ### Derive macro helper attributes