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.
Jonathan