contributing to the wiki

You're welcome to contribute to the wiki!

The wiki is managed via ikiwiki. To contribute, you should clone its Git repository as follows:

    git clone

Then perform your changes, publish them somewhere, and ask DSA to pull from your tree by filing a ticket via RT.