@Mung
Absolutely right.
But there has got to be a better way to say it than to say:
@swamidass is “id”… small i, small d.