[GHC] #15006: User guide uses cnd.mathjax.org, which has shut down