I wonder if there is a compendium of what different companies call their own workers internally. Do all companies do this? Also kinda interesting how it doesn't seem Googlers ever became Alphabeters or whatever