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