Re: Decommissioning etherpad and old wiki

Quack, The wiki content was already converted into the website, and remaining broken links & co were fixed (thanks Garrett). It was merely kept in case some content was forgotten (read-only). The Etherpad was barely used and a pain to upgrade/maintain, so the infra team with the last remaining user decided to close it. They are to be removed soon. In fact we already stopped them to track the remaining users, and no one complained. It can be restarted on demand before the removal date. On 2016-10-26 the resources will be purged. Backup has been made, so nothing is lost but unless there is a good reason it won't be used. Btw, the wiki@ mailing-list was unused and is now read-only.