Which was a very outdated number even back when this article was published two years ago
I'm not sure what the exact number was in 2023, but according to [1] it was 6718 at the end of 2022. With that kind of growth, quoting two year old numbers isn't all that helpful
