mkRedundantOption: try double backslashes

flake.nix

@@ -59,14 +59,14 @@
         ${attrs.description}
         
         
-        \<div class=admonition-warning>
+        \\<div class=admonition-warning>
-          \<p class=admonition-title>
+          \\<p class=admonition-title>
             Redundant
-          \</p>
+          \\</p>
-          \<p>
+          \\<p>
             ${mkRedundantOptionDescription name value}
-          \</p>
+          \\</p>
-        \</div>
+        \\</div>
       '';
     };
   };