Description
Our wiki used to be the source for generating the website, but that is no longer the case. It therefore now contains lots of pages that are outdated. We should clean those up and only keep the stuff that is still relevant and actually complements what's on the website.