Note that the postgres core team aren't all developing postgres itself, and that there's a vastly larger number of people working on postgres than the core team

Note that the postgres core team aren't all developing postgres itself, and that there's a vastly larger number of people working on postgres than the core team. They're basically "just" a body to escalate things to.