Time for blogging has been scarce for a while now, but something like a more normal activity level should return soon. My thanks to those who've asked.