icons.html: reduce size by 54%

[haampie]

since these icons are part of the HTML and aren't cached, it wouldn't hurt to reduce their size a bit

• reduce the size of icons.html from 6330 to 2900 bytes (svgomg + manual fixes)
• fix invalid <svg> nested inside <svg>
• use <use/> instead of <use></use>
• move ^ icon to icons.html
• remove redundant xmlns= attribute from inline <svg> elements

[polyzen]

* use `<use/>` instead of `<use></use>`

Should perhaps be avoided:
prettier/prettier#15336

[haampie]

• use <use/> instead of <use></use>

Should perhaps be avoided: prettier/prettier#15336

Self-closing tags are already used, e.g.

furo/src/furo/theme/furo/partials/icons.html

Line 54 in 83c3446

<line x1="14.5" y1="3.25" x2="14.5" y2="1.25"/>

See this comment by the person who created https://svgomg.net/, or more authoritatively the html spec which says it's not an error when in <svg>)

[pradyunsg]

Is there any way to ensure/enforce this? Without that, I'm certain that there'd be a regression around this the next time that the icons need any changes.

[haampie]

I'm not in the loop regarding web development tooling.

Just know about w3 validator (ancient) and svgo as an npm package (but I used the web interface).

[haampie]

@pradyunsg would you accept this as is or do you want to merge it exclusively with tooling? I cannot work on tooling unfortunately.

[pradyunsg]

@pradyunsg would you accept this as is or do you want to merge it exclusively with tooling? I cannot work on tooling unfortunately.

I'll take a stab at it. Thanks for flagging this BTW! 😄