Address #3: Update permanent redirects

Update the links that have been permanently redirected in doc/index.html

Merge request reports

Loading