In reply to Chris McCoy.

Yeah, there was just over 4,000 plugins when I generated the list for the first time, including some big ones (Jetpack, and until yesterday, WooCommerce).