Re: Update to docs root pages and navigation

On 11/24/20 11:27 AM, Magnus Hagander wrote:
> On Tue, Nov 24, 2020 at 5:15 PM Jonathan S. Katz <jkatz@postgresql.org> wrote:
>>
>> On 11/24/20 4:55 AM, Daniel Gustafsson wrote:
>>>> On 24 Nov 2020, at 10:45, Magnus Hagander <magnus@hagander.net> wrote:
>>>
>>>> Or just "view the manual" and assume that anybody who actually cares
>>>> about a specific version will go directly to the table, maybe with an
>>>> ingress text of "To view the manual for an older version, pick your
>>>> version in the table below" above the table?
>>>
>>> +1
>>
>> Sure, that works.
>
> Thanks, I've pushed this version.
>
> For the suggested changes to the frontpage, I suggest the attached.
>
> Or should it link directly to the /docs/current/ url?

+1 for just /docs/ -- good for all users.