> Note your second link seems to be missing a dot between "old" and "reddit".

Oh indeed. I visited the link while logged in, but to share links I make the pre-redesign explicit. I guess a mistake occured during that. Can't edit the post any more, but the fixed link is:

https://old.reddit.com/r/rust/comments/idwlqu/rust_memory_co...