Michael Howell 8307fd7901 rustdoc: use a newline instead of <br> to format code headers ...

Since these elements now use `white-space: pre-wrap` since
784665d4ce59c5239791f1f96fa2137e47ca1817, it's fine to use newlines
for formatting, which is smaller and a bit less complicated.

2023-02-07 11:23:25 -07:00

..

gats.rs

…

issue-94683.rs

…