[Haskell-cafe] GHC Memory Management wiki page

I have been studying the garbage collection algorithms used in GHC, and it appears to me that section two of [1] is misleading, since thunks permit controlled mutation of the heap, and so objects in older generations may point to younger objects. In fact, the RTS maintains "remembered sets" to keep track of these relations. A Haskell could in principle be implemented in the way described (and execute in surprising complexity classes), but this does not seem to match reality. [1] https://wiki.haskell.org/GHC/Memory_Management Should the wiki be modified? Regards, Kyle Miller