-
Ralph Giles authored
We were using w3.org's version, but it's not available over https (!) causing mixed content warnings on the page. Use a relative link to a local copy instead. I think html(5) would be a better target these days, but let's preserve history before rewriting the world.
2bee6a35