Blog’s end

I’ve decided to end this blog after a couple of years.  It’s been interesting and generally fun.  Maybe I’ll change my mind later when I actually have something to say.  Meanwhile, goodbye.