Morten Piibeleht

Looking at the [docs](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/a#attr-name), the `name` attribute looks to be the same as `id` and seems to be pretty much deprecated. And we already have anchors with `id`s:  I...

> But it's backed by a file that's cached in tmp. Generally speaking, I don't think that is necessarily always true. E.g. for Blobs/Files that are stored within TOML files;...

I'll go ahead and close this PR, since I don't think we'll merge it. But the branch and discussion will stay around for future reference.

Could look into just retaining the latest patch version per minor maybe? I don't have any amazing ideas though. I guess the "official" recommendation here would be to look at...

Just to double check -- does the deduplication even work? I wouldn't be surprised if `gh-pages` resolves the symlinks when it bundles up the tarball. The timestamp could have an...

One more note: if your `gh-pages` is hitting 1+ GiB, you may want to consider moving the docs to a separate repo. I think it should make it much faster...

That's fair, it clones reasonably quickly, on a fast connection anyhow. But just as a datapoint, 90% of the time and disk space is spent on `gh-pages`: ``` $ git...

> Aren't the symlinks how we're doing the `stable` links anyway? I assumed if folders work then files should too. I haven't tested. I mean, they definitely work, as in...

Actually, pretty sure it doesn't. So currently, the whole `gh-pages` is about ~700 MB: ``` $ du -sh JuMP.jl-gh-pages/ 715M JuMP.jl-gh-pages/ ``` But the artifact is 900+ MB  And...

For redirects, I have been working on some shared tooling in DocumenterTools: https://github.com/JuliaDocs/DocumenterTools.jl/pull/76 It's still a draft though, since I am not sure what API we want exactly, so would...