3 ms·

Nope, that's because it is developed as a fork of Linux kernel. Those +9K people are Linux kernel contributors.