# Docs

Old documentation server.

## Basic Info

It runs Mediawiki, probably a super outdated version. Crashes all the time, just need a reboot here and there.

## History

This is the fourth incarnation of "web" servers (this is called `web4`) which have hosted the COSI documentation. The database goes back as far as 2007 and is quite a mess. Many proposals have been made to convert it to Git, and perhaps this time it will actually happen.

## Installation