Re: Update to docs root pages and navigation

On 2020-Nov-23, Jonathan S. Katz wrote:

> On 11/23/20 4:24 PM, Alvaro Herrera wrote:
> > On 2020-Nov-23, Magnus Hagander wrote:
> > 
> >> I'm also attaching a screenshot of the main docs page with the
> >> changes, for those that can't easily test a website patch. (Nevermind
> >> the actual versions listed, as this is off a dev version of the
> >> database and not up to date)
> > 
> > .. I find it a bit annoying that if I want the current docs, I have to
> > avoid looking at the table, or I'll get confused until I see the button
> > sitting above.  IMO it would be better to include "13" in the table as
> > well as the button to avoid this effect (I realize this is redundant).
> 
> I think that has to do with the data on Magnus' machine -- it should
> load 13 in the table.

Oh!  Never mind that, then.