How does the website work

This website is actually rendered offline and uploaded by a committer after it has changed.

For more information see How do I edit the website.