It seems I had inadvertently had the comments turned off here — I was wondering where y’all were.

But they are now back on.