[GHC] #15676: Users guide: broken external links