{For a more substantial entry from the past, see here. And here’s to a more substantial blog in 2021.}