Let's be fair; when we say "desktop Linux", none of us think "a dedicated games console which uses Linux to run Steam, occasionally running the desktop mode to make something in Steam easier (like emulation)". Obviously it only would count if it were "daily Linux users, running Steam".