postgres.git / commit a41f73a092ec / discussion (no discussion trailer on this commit and no emails cite its SHA)