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 it’s not a proportional or very significant contribution.