cableman/ding-wiki — comment on commit 8ca42c3e8e46b7e039d50876d1808a1679056af8
File: ding_wiki.module line 91
By cableman:

You are right it's Kolding specific :-)

Maybe it should be up to the libraries to decide if they want a "Wiki start page", mainly because they might want another structure. So "forcing" them to use /wiki may not be the best solution. If the libraries want a "Wiki start page"... maybe it's up to the ding team to request such a feature and what it should contain.