I’m setting up this blog to try to start writing down the occasional thing that might be useful to others.