20151106 unknown: How 10 big tech companies got their names