Re: [GHC] #12394: broken (obsolete?) links to user guide