DTRACE.md: edits/cleanup

DTRACE.md

@@ -2,10 +2,9 @@
 Supported DTrace Language Features
 ==================================
 
-MCTrace uses the DTrace language as the means for expressing how it
-should modify its input binary. While MCTrace does not implement all of
-the DTrace language, the following core DTrace language features are
-supported:
+MCTrace uses a subset of the DTrace language to allow users to describe
+how input binaries should be instrumented. The following DTrace language
+features are supported:
 
 * Probe descriptions and probe syntax
 * Probe name pattern-matching. Supported metacharacters are `*`, `?`,
@@ -26,14 +25,15 @@ supported:
   * `long ucaller`
 
 Example DTrace probe scripts demonstrating MCTrace's features can be
-found in `mctrace/tests/eval/` in the MCTrace GitHub repository, as well
-as in the `examples` directory in the release Docker image.
+found in `mctrace/tests/eval/` in the MCTrace repository as well as in
+the `examples` directory in the release Docker image.
 
 MCTrace-specific DTrace extensions
 ----------------------------------
 
-In addition to the core language features listed above, MCTrace's
-support for DTrace includes the following additional features:
+In addition to the language features listed above, MCTrace's support for
+DTrace includes the following additional features that are specific to
+MCTrace's version of DTrace:
 
 * A `send(int channel_id)` action for telemetry exfiltration (see
   `MCTRACE.md` for details)