Noah Misch spotted the fact that the old comment is in fact incorrect, due to memory ordering hazards.
Attach a file by drag & drop or click to upload
