Hello again,

I figured that I have not the rights required to edit the wiki of the wiki repository.

This is inconvenient. To be honest, I think github wiki is inconvenient. Why not

rely on markdown files inside git instead, so that we can rely on pull-requests

and better review changes?

Best regards,

Amirouche