Tom’s Hardware suggests that around 260 million PCs were sold in 2023, and 44 million of those were gaming PCs. That comes out to around 17%, which is smaller than 25%, but within spitting distance of 20% - and much larger than 5%. Definitely not a sliver.