Christoph:

> I think a wiki would have two advantages:
>
> 1. It would make it easier for more people to contribute.

It's very easy to contribute.

> 2. It would make the docs available to the public as soon as a draft is available.

They are available as a draft as well.

"Union makes force"

Artur