pub fn html_href(uri: &str) -> String
The destination escaped for an HTML href="…" attribute (Python’s html.escape: &, <, >, ", '), for a safe destination — the caller leaves the <a> out for an unsafe one.
href="…"
html.escape
&
<
>
"
'
<a>