On 4/13/23 2:18 PM, Peter Geoghegan wrote:
> Chrome "inspect" gives the following three warnings about the
> documentation on the live website (doesn't matter which page I view,
> nor which branch of the docs):
Thread here with proposals:
https://www.postgresql.org/message-id/20230308190851.mc2khkfsjhu4cimp%40alvherre.pgsql
Jonathan