Right. And the CLT is not actually limited to normal distributions. Both of the distribution families I mentioned are central limit theorems. The CLT we first see in school regards means of finite variance distributions, where the finite variance assumption is made because it makes the math easier.

https://en.wikipedia.org/wiki/Central_limit_theorem#The_gene...