Pgadmin III is officially not supported

On Wed, Apr 18, 2018 at 09:14:29AM +0000, PG Doc comments form wrote:

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/10/static/external-admin-tools.html
Description:

Hi guys,
Despite the fact that pgadmin III is indeed the most popular tool, it is
officially no longer supported (see: https://www.pgadmin.org/download/), and
the link in docs leads to pgadmin 4. Maybe worth of changing?..

Ah, I see what you mean. I have removed the "III" text from the doc
link. Patch attached and backpatched through 9.3. Thanks.

--
Bruce Momjian <bruce@momjian.us> http://momjian.us
EnterpriseDB http://enterprisedb.com

+ As you are, so once was I.  As I am, so you will be. +
+                      Ancient Roman grave inscription +