Thanks. There's a small group of us (PG DevOps type people) who have been working on it for over a year now, and it's come together pretty well.

It doesn't yet automatically upgrade people's PG extensions, but that's on the ToDo list and has initial code in a PR. So that'll likely start happening in a few weeks too. :)