As some might have noticed, I have had a banner in place on this blog. Since that makes it harder to know what blog you are currently reading, I’ve put up a temporary banner, which I will exchange with something better at some stage.