2694897a3c
* commit '787cbb37d5cb2334af80d8da1b8fa4286e845eee': Doc change: add redirects for edu urls.
* commit '787cbb37d5cb2334af80d8da1b8fa4286e845eee': Doc change: add redirects for edu urls.