PostgreSQL17更新の予行演習した。まあ例年通りなら11月中にバージョン*.1が出るだろうし、出てからやるか。