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.