One-off thoughts, about a variety of things. This isn’t a blog. It’s more like a repository of randomness, that may evolve into something more coherent at some point!