CEO of Neon here. Happy to answer question about Postgres development.