Thanks, feel free to change it.

The github wiki can be modified by anybody with a github account.