Рынок российских операционных систем вырос в 2023 году в 1,5 раза