April 2, 2019 first post on the new site Phew. The move is done. There appear to be some speed issues, and I’m looking into them, but I like the new place. It…
