Change documentation redirects (rename of doc repo)