20151105 tech.computing: How 10 big tech companies got their names