Postgres: Are we reverting patches because of bugs found by AI?