though admittedly, I also think intuitions about whether implementation details matter aren't terribly trustworthy when we're talking about a proposed design that cannot conceivably work in practice

Yeah, the whole GLUT scenario is really pretty silly to begin with, so I don't exactly disagree (as you'd say) . Perhaps the main lesson from here is that it's rather difficult, if not impossible, to draw useful conclusions from silly scenarios.