Re: [GHC] #5202: Docs on strictness info out of date