This is a blog about technical things. I’m writing them down so I don’t need to discover them again.