InfoWorld: Key Linux contributor Alan Cox steps down