That’s correct! There are a few caveats at the beginning of the article.

I thought this one was most interesting:

This may not be completely representative of all Linux gamers either. But I’d wage this is actually a good predictor where the market is going to shift. We saw first that Manjaro was getting the boot here first, before going under pretty much everywhere.

These two correlate more directly to what you mean:

This may not be representative of all types of Linux users. I’m sure this is not what your AWS architect uses on EC2.

There may be some additional biases, due to whoever used ProtonDB.