[expert] OT: Google and Linux

[Pj]

Google may be running more Linux servers than anyone else in the world,
with 4,000 machines operating and plans to increase to 6,000.

Pj