Из списка ключевых разработчиков операционной системы Linux удалили 11 российских программистов