highlight: keep C1 controls intact

this pretty obviously broke utf8.

diff --git a/contrib/highlight b/contrib/highlight
index 1d3458ab4653c1561bf7836f06376b9826c2c1f9..f09ce8bf0169ad24a5a1a15facb8e1307da9e180 100755 (executable)
--- a/contrib/highlight
+++ b/contrib/highlight
@@ -39,7 +39,7 @@ def say(*args):
 def sanitize(s):
     # removes control characters so malicious actors can't mess up our terminal
     # with escape sequences. this also removes formatting codes.
-    return re.sub(rb"[\001-\011\013\014\016-\037\177\x80-\x9F]", b"", s)
+    return re.sub(rb"[\001-\011\013\014\016-\037\177]", b"", s)
 
 myself = None
 for line in sys.stdin.buffer: