EU OS: A European Proposal for a Public Sector Linux Desktop