Right, so everything’s as ugly as usual around here (apart from the new header)

A big round of applause to Ulf Reese Næsborg who fixed the stray code that messed things up!