TPIL installation link

Stream: general

[Shreyas Srinivas]

The introductory page of tpil has a link titled "Setting up lean 4" which leads to the setup page instead of the quickstart page. This is in contrast to fpil. Is this something that should be changed since TPIL is a entry point into lean for many?

EDIT : I can make the PR if the answer is yes.

[Jeremy Avigad]

@Shreyas Srinivas Thanks for pointing this out. I think I still have the permissions to fix this -- if so, I'll take care of it. No need for a PR.