EU OS: A European Proposal for a Public Sector Linux Desktop (The New Stack)