Larry wrote:
So anyway, I think "token" is sufficiently close to what we want it to mean that we can force it to mean that, and it's sufficiently orphaned that few people are going to complain about impressing it into forced labor.
I'm perfectly fine with that. To quote myself out of context:
But almost nobody knows what [the word] actually means, and of
those few only a tiny number of pedants actually *care* anymore.
So does it matter?
;-)
Damian
