From f1797f4323b6eba98521d14c1cc011ce45f4db42 Mon Sep 17 00:00:00 2001
From: mamei16 <marcel.1710@live.de>
Date: Sat, 11 Jan 2025 22:39:44 +0100
Subject: [PATCH] Unescape backslashes in html_output (#6648)

---
 modules/html_generator.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/modules/html_generator.py b/modules/html_generator.py
index 79a8dc64..3ddad51d 100644
--- a/modules/html_generator.py
+++ b/modules/html_generator.py
@@ -239,6 +239,9 @@ def convert_to_markdown(string):
     pattern = re.compile(r'<code[^>]*>(.*?)</code>', re.DOTALL)
     html_output = pattern.sub(lambda x: html.unescape(x.group()), html_output)
 
+    # Unescape backslashes
+    html_output = html_output.replace('\\\\', '\\')
+
     # Add "long-list" class to <ul> or <ol> containing a long <li> item
     html_output = add_long_list_class(html_output)