On Sun, 2013-12-15 at 18:10 +0200, Willem Ferguson wrote: > I have an artist close at hand who is prepared to design a new banner > for the web site and user manual. Would this help? While I never should turn down the help of an artist... I just updated the header (it's already on the website and I'm soon going to push this to git as well) /D