Am Montag, den 16.07.2012, 11:05 -0700 schrieb Simon Michael: > I think we need to drop most of the wasteful wiki chrome (compare mercurial's > or git's site, or haskell.org). I hope to look into that soon. What is wiki chrome? Best wishes, Wolfgang