Re: [GHC] #8719: clarify prefetch release notes + remove some deadcode