Linux: a history lesson