yeah that's stupid. We can discuss if Android is a real linux OS or another OS based on a linux kernel, but there is absolutely no doubt that steam OS is a linux OS with a customized windows manager