Add a prefix to rule HTML IDs

This adds the `r-` prefix to HTML IDs generated for rule names. This
fixes a problem where the HTML IDs may conflict with existing markdown
headers. For example, `## Crate` conflicts with `r[crate]`. This is done
with the expectation that no headers will start with just the letter
"r".

Author: cameraMeasurementTech

mdbook-spec/src/lib.rs

@@ -84,8 +84,8 @@ impl Spec {
                     }
                 }
                 format!(
-                    "<div class=\"rule\" id=\"{rule_id}\">\
-                     <a class=\"rule-link\" href=\"#{rule_id}\">[{rule_id}]</a>\
+                    "<div class=\"rule\" id=\"r-{rule_id}\">\
+                     <a class=\"rule-link\" href=\"#r-{rule_id}\">[{rule_id}]</a>\
                      </div>\n"
                 )
             })
@@ -104,7 +104,7 @@ impl Spec {
             .iter()
             .map(|(rule_id, (_, path))| {
                 let relative = pathdiff::diff_paths(path, current_path).unwrap();
-                format!("[{rule_id}]: {}#{rule_id}\n", relative.display())
+                format!("[{rule_id}]: {}#r-{rule_id}\n", relative.display())
             })
             .collect();
         format!(