[throw0101a]

> There's over 10,000 ports ...

For the record it is currently over 38,000:

* https://www.freshports.org