(This was written months ago, sometime in October 2020, but I never hit ‘Publish’.)