[nullspace]

Sure, but they also (likely) have tons of teams maintaining and improving them. It's somewhat (but not exactly) like saying Youtube and Android are not Google's products.