There are many Postgres forks out there. Maybe the solution will be to have someone from EDB step down, and add e.g. an active contributor from Amazon to the core team?
> an active contributor from Amazon to the core team?
That would be weird, since Amazon has no major contributors. NTT, Microsoft, Fujitsu, or another seat for Crunchy Data (among other possibilities) would seem to be more natural choices than giving a seat to Amazon, looking at major contributors.