This PR updates several URLs that are currently pointing to redirects on
lean-lang.org, most importantly a few in the top-level README