Ça faisait un petit moment que la version originale était sortie mais, avec ma relecture du manuel de PostgreSQL, je n'avais pas pris le temps de m'en occuper. Pourtant, j'ai fait cette mise à jour en à peine quatre jours. Pratique :)

Bref, la nouvelle mise à jour est disponible, le site web est à jour. Tout va bien.