am 9a51dfd4: Merge "Doc change: add redirects for edu urls." into jb-mr1.1-docs

* commit '9a51dfd4e3e10411ede67743f85cdd510ba3eb90':
  Doc change: add redirects for edu urls.