Hello again. Nice to see you. It’s almost been a year. I was supposed to do better on maintaining this site during 2023, but I didn’t really meet that goal. Some of the reasons were that I was tired and didn’t have much to say, but some of the reasons were largely technical. Moving the […]