[GHC] #8418: [patch] comments outdated