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