As a point in case, I just found out about Volatile and sensitive memory, which is seemingly used as a reference for how volatile accesses work in Rust, but the conclusion there does not match our current understanding of the interaction of volatile and dereferencable. That thread really shouold be amended to warn people about this, and add a link to https://github.com/rust-lang/unsafe-code-guidelines/issues/33.
I flagged the thread and asked the mods to do this, but such additional barriers make it much less likely that such corrections happen at all.