JuliaDocs
Include page "parents" in title tag
Right now, the <title> tag (and some of the <meta> tags) get populated based on the title that is either the first h1 on the page, or based on the title override in pages. Often, however, different pages have the same page title, and the "category" of the page is determined by the section label in pages. E.g. there is a Strings manual page and a reference page in the Julia manual:
- https://docs.julialang.org/en/v1/manual/strings/
- https://docs.julialang.org/en/v1/base/strings/
We could include the "category" automatically in the titles. So, rather than showing e.g. Strings · The Julia Language, we'd show Strings · Base · The Julia Language and Strings · Manual · The Julia Language. Essentially replicating the breadcrumb in the the title tag.
This could help with docs SEO, so that we'd have unique titles for each page. I didn't really find any precedent for this, though, in other SSGs / docs generators so far. So I wonder if there are reasons to avoid overly long auto-generated title tags.
A more automagic option would be to only add the parent "category" only if we detect that we have a duplicate page with the same title.
We'll need both this and #2155 for SEO, since some pages come without h1 titles, especially autogenerated / Literate.jl pages...
