Auto merge of #76096 - pickfire:rustdoc-quote, r=jyn514

Use double quote for rustdoc html

r? `@GuillaumeGomez`

Feels scary without escaping stuff when I looked at the code, probably susceptible to XSS.
Follow up of #75842

Author: bors