Wiki server with manual editing of text files as backend, with a selectable filter converting them to HTML and a caching mechanism.