I’m seriously surprised they were not using red flag linux.
Me too. Either not there yet or the pirated MS software was cheaper.