We upgraded our internal PostgreSQL cluster to the latest version last week. Time passes by so quickly: we installed our PostgreSQL cluster around 2008. At least, this was...