Yes, it’s hello and goodbye time. I’m going to be shutting down this blog before the end of February, 2021, ending 13 years of, well, not continuous activity, but off and an bursts of activity. Like a lot of blogs, this one was robust at the start and then trailed off over the past few …
