Real issues and contributions aside; creating one plugin is not contributing to Wordpress core/itself. And if they make good money over many years, I would agree that that alone is not a proportional or very significant contribution.
The plugin was evidently significant. But doesn’t necessarily indicate overall contributions or proportionality.
I’m surprised there’s not an evident fork yet.