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".
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,## Crateconflicts withr[crate]. This is done with the expectation that no headers will start with just the letter "r".