[einsty]

I think the term token had been used in some UI products for quite a while now. The first time I heard it felt a little awkward but it is really quite natural now.

[MrMcCall]

Thanks. That's not my workspace, so it makes sense that I would be unaware of it, my just being a programmer.