Re: [GHC] #7505: Commentary shipped with GHC sources is outdated