LinDev: The other kind of Open Source company