As you may have already heard, Instiki (a wiki software) was installed on our server.
The main motivation for this was using different “web”s (i.e. wikis)
for stuff like reading courses, so if you need a wiki for something
$ADMIN may create one for you.
Moreover, if we think that Instiki works better than our current git-based wiki, we could also consider migrating it to Instiki in the long run, so go ahead and test Instiki! Existing pages in our wiki have already been mirrored in the main web of our Instiki instance, which is editable without any authentication. (However, editing will probably be password protected in “production”)