Fix a bug in SnapshotValueReader.name_esc.

Author: nedtwigg

python/selfie-lib/selfie_lib/SnapshotValueReader.py

@@ -62,7 +62,7 @@ class SnapshotValueReader:
     KEY_START = "╔═ "
     KEY_END = " ═╗"
     FLAG_BASE64 = " ═╗ base64"
-    name_esc = PerCharacterEscaper.specified_escape(r"\\[(])\nn\tt╔┌╗┐═─")
+    name_esc = PerCharacterEscaper.specified_escape("\\\\[(])\nn\tt╔┌╗┐═─")
     body_esc = PerCharacterEscaper.self_escape("\uD801\uDF43\uD801\uDF41")
 
     def __init__(self, line_reader: LineReader):