Fix regex patterns in PR index management scripts

Co-authored-by: commjoen <[email protected]>

Author: Copilot

.github/scripts/remove_pr_from_index.py

@@ -12,7 +12,7 @@ def main():
             content = f.read()
 
         # Remove the PR card for this specific PR number
-        card_pattern = f'<div class="pr-card"[^>]*data-pr="{pr_number}"[^>]*>.*?</div>\\s*</div>'
+        card_pattern = f'<div class="pr-card"[^>]*data-pr="{pr_number}"[^>]*>.*?</div>\s*</div>'
         updated_content = re.sub(card_pattern, '', content, flags=re.DOTALL)
 
         # Check if there are any remaining PR cards

.github/scripts/update_pr_index.py

@@ -98,7 +98,7 @@ def main():
                 existing_content = f.read()
 
             # Extract existing PR cards
-            card_pattern = r'<div class="pr-card"[^>]*>.*?</div>\\s*</div>'
+            card_pattern = r'<div class="pr-card"[^>]*>.*?</div>\s*</div>'
             existing_cards = re.findall(card_pattern, existing_content, re.DOTALL)
 
             # Remove the current PR card if it exists