Carthik estimates there are at least 400 WordPress plugins. If so, we’ve got about 15% of those in the repository already.