BTW, my conclusion was that Postgres, as distributed by the Nixpkgs, is untested because they very likely never bothered to run `make check`. And hence I would not recommend anyone to rely on it for production use.
[1]: https://www.postgresql.org/message-id/flat/CABwTF4VBTKLORbKM...