Excellent article, thank you! Why is the last access to the "version" variable in the reader (right after loadLoadFence) done with acquire semantics (instead of opaque)?