Where does the website source live?

Stream: general

[Jens Petersen]

I wanted to check something on the website source code, but I didn't manage to locate it yet. Where does the (Verso) source code for the main website live (eg the Tour)? (I appreciate there are various sources being combined.)

[Markus Himmel]

It's not public.

[Jz Pan]

I think it's https://github.com/leanprover-community/leanprover-community.github.io

[Henrik Böving]

That's the community website not the actual lean-lang.org website