Re: [Hackage] #888: runTests deprecated message should be more helpful