2PC state files actually are protected by CRC32 (see EndPrepare()), and
so is pg_control (which is not mentioned).
If we want to be thorough, it might be worth mentioning that we expect
filesystem metadata to not be corrupted/lost, either.
Regards,
Jeff Davis