We do fix crashes etc, even if the postgres manages to restart. I think the post upthread references an out-of-core extension we don't control, which in turn d

We do fix crashes etc, even if the postgres manages to restart. I think the post upthread references an out-of-core extension we don't control, which in turn depends on many external libraries it doesn't control either...