lost Wiki...

[Rasilgon]

I have noticed that after changing the repo name, the Wiki is empty. Do we have copies of the wiki contents?

[florianhartig]

Weird, the wiki should usually not be affected by the name change