Yeah, but SteamOS is definitely a better OS. A lighter OS specifically. The Steam Deck, while being powerful, isn’t exactly too powerful and having Windows on it isn’t optimal.
Luckily GPD (i think) offers SteamOS for their devices and i do want to buy a Win Mini.