If you have not seen it yet, the W3C now has a new look.

http://www.w3.org/

They are using a Web 2.0 system with PHP running on their server along Apache version 2.x. In other words, they most certainly are running Linux as their server operating system.

And for those who do not know that yet, this is the consortium that takes care of making your browser work.