See <https://www.postgresql.org/docs/devel/bki.html> about the
files in this directory.