Re: Update to docs root pages and navigation

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

Maybe if the button had red text that said "13" it would not be
necessary.

Alternatively: remove the button, include "13" in the table, and have it
contain a blue tag-looking label that says "current" or something like
that.  (While at it, and to make the current dev cycle less of an
exception: change the "Development version" row to have text "14dev" in
red plus a blue label that says "In development".)