The website is intended to be maintained by the community. We welcome contributions via GitHub.
We will write a contributor’s guideline and put it in here.
Maybe we can do that by describing how to do certain things:
Then somebody will merge your changes.
You (or a maintainer) may need to make some more commits & pushes before the merge.
We will setup a build bot, so the changes can be previewed before a merge.