It’s a trivial issue.
This should be the correct link in the Lean Local Installation page.
The current one is missing a leg (‘L’).
3 Likes
The link has been fixed. Thank you for reporting!