Jeff I think you have a typo, there are about 42k plugins, not 47k.

With that said, you can leave it like this, there will be 47k by the end of the summer... :-)