Link to leanprover-community website from GitHub?

Stream: general

[Kevin Buzzard]

If I search for leanprover-community I quickly get directed to the GitHub page. But I usually want the community website at something dot io . Can we put a link to the website at the top of the GitHub page or is this not desirable/possible?

[Kenny Lau]

risky click of the day

[Kevin Buzzard]

Oops

[Kevin Buzzard]

I'm on an exercise bike and it'll be hard to change. Edit: changed

[Johan Commelin]

Like this image.png

[Johan Commelin]

Screenshot from the top of: https://github.com/leanprover-community/mathlib

[Kevin Buzzard]

And I am pretty sure we have one for the perfectoid project too