Dummy repository to reroute http://wiki.humdrum.org to http://www.humdrum.org