in reply to Duh. What am I missing about inherited constructors?
Okay, let’s just close this one out as “one of those things.” Probably, I must have overlooked something, and it isn’t reasonable to think of it as a “real bug.”
Lesson: go home at a reasonable hour.