After a few years of procrastinating I’ve finally gone and changed the look of this site. At least, some of the pages have changed, due the incomprehensibly ad-hoc way in which it is all generated and hangs together, some have the new look and some have the old.