That’s great feedback! Note that initially this convo was happening in PostgreSQL 15 update until David realized it was not related to the PostgreSQL update and moved the relevant posts to a new topic. That only happened about an hour ago, so you would not have been able to find it until after that!
Troubleshooting failed updates is notoriously hard - all the more so because updating Discourse is usually so smooth so most of us self hosters don’t have to learn how Discourse works under the hood and learn troubleshooting steps!
Appreciate you @david for looking into this and finding the fix so quickly!