Российское правительство перешло на Linux?