Steve Ballmer retires: A dark day for Linux!