I'm curious, how many of these Linux "desktops" are actually Steam Decks? They've sold several million of them from my understanding, which would make them probably the most commercially successful Linux powered desktop-ish form factor computer to date.