doc: put-json: numbering, include U+007F.

* txr.1: Fix duplicate 4. bullet; mention the that control
character U+007F is rendered as an escape also.

1 files changed, 4 insertions, 4 deletions

diff --git a/txr.1 b/txr.1
index de1e1912..385e2cfb 100644
--- a/txr.1
+++ b/txr.1
@@ -72060,20 +72060,20 @@ tags.
 The code point U+DC00 (\*(TX's pseudo-null character) is translated into the
 .code "\eu0000"
 escape syntax.
-.IP 4.
+.IP 5.
 The code points U+DC01 through U+DCFF are send to the stream as-is.
 If the stream performs UTF-8 encoding, these characters turn into individual
 bytes in the range 0 to 255.
-.IP 5.
+.IP 6.
 Control characters in the U+0001 to U+001F other than the ones subject
 to rule 1 above are rendered as
 .code \eu
-escape sequences. Likewise, code points in the range U+0080 to U+00BF,
+escape sequences. Likewise, code points in the range U+007F to U+00BF,
 the range U+D800 to U+DBFF, U+DD00 to U+DFFF, and the code points
 U+FFFE and U+FFFF are also encoded as
 .code \eu
 escape sequences.
-.IP 6.
+.IP 7.
 A character outside of the BMP (Basic Multilingual Plane) in the range
 U+10000 to U+10FFFF is encoded using as a pair of consecutive
 .code \eu