Re: [GHC] #8418: [patch] comments outdated