Redirect PostgreSQL.org docs to current version

Very useful when coming from elsewhere and ending up with docs some random ancient version.

Avis: Bon - le script fonctionne correctement

xtex

Posté le: 2024-07-21

goooood! pretty useful.