Re: [GHC] #9849: GHC readme.md seems out of date